| commit | c0b194a77082f2db4b5689a27e73f07fa046fa79 | [log] [tgz] |
|---|---|---|
| author | Johannes Gijsbers <jlg@dds.nl> | Mon Jan 10 09:07:22 2005 +0000 |
| committer | Johannes Gijsbers <jlg@dds.nl> | Mon Jan 10 09:07:22 2005 +0000 |
| tree | 80fd1b25ef8ba011308d1b2788f3559bd8f35795 | |
| parent | 77ead87f30867443d18531812a0bbd83db1f6b0d [diff] |
Bug #489256: remove out of date and out of place profile.doc, and let profile.help() point at the library reference instead of profile.doc.