diff options
author | Thomas Roessler <roessler@does-not-exist.org> | 1998-10-13 20:44:24 +0000 |
---|---|---|
committer | Thomas Roessler <roessler@does-not-exist.org> | 1998-10-13 20:44:24 +0000 |
commit | d1e04a3c6d199316923055d9c7d47cda09c7b9b8 (patch) | |
tree | 945bd38552d76c1074b8c349c0412da4bae39c40 /doc/applying-patches.txt | |
parent | 0f4998315c118d214ef8f9a9fa4f4ee490da12f2 (diff) |
Add RCS $Id$ strings to (hopefully) all source files.
Diffstat (limited to 'doc/applying-patches.txt')
-rw-r--r-- | doc/applying-patches.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/applying-patches.txt b/doc/applying-patches.txt index 7c9e3b5b..73b2524f 100644 --- a/doc/applying-patches.txt +++ b/doc/applying-patches.txt @@ -22,3 +22,4 @@ after applying patches may help: After doing so, simply type "make"; the dependencies should take care of the necessary other re-building (this may quite well include a re-running of ./configure). +$Id$ |