diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-09-11 14:48:32 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-09-11 14:48:32 +0000 |
| commit | fc042659aa893a73688a574242aa348085d18102 (patch) | |
| tree | 43af6442ef17d5e41871ed8d5374d9c92cbc2f25 /devel.html | |
| parent | 1e0a59699bf885faa4f2ff7b95db0c398f803b17 (diff) | |
For the reference manual texinfo sources, link to the HEAD revision in CVS
rather than the local copy. Suggested by Neal H Walfield.
Diffstat (limited to 'devel.html')
0 files changed, 0 insertions, 0 deletions