diff options
Diffstat (limited to 'release/root_crunch.conf')
| -rw-r--r-- | release/root_crunch.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/root_crunch.conf b/release/root_crunch.conf index 15d6b6ef2d485..ddf54c9a0e3e7 100644 --- a/release/root_crunch.conf +++ b/release/root_crunch.conf @@ -1,4 +1,4 @@ -# $Id: root_crunch.conf,v 1.4.2.1 1995/05/31 23:53:12 jkh Exp $ +# root_crunch.conf,v 1.4.2.2 1995/06/01 05:54:37 jkh Exp # first, we list the source dirs that our programs reside in. These are # searched in order listed to find the dir containing each program. |