diff options
Diffstat (limited to 'devtools/OS/UNICOS')
| -rw-r--r-- | devtools/OS/UNICOS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/OS/UNICOS b/devtools/OS/UNICOS index 51e691b8aa3df..4503c4110b8fa 100644 --- a/devtools/OS/UNICOS +++ b/devtools/OS/UNICOS @@ -1,4 +1,4 @@ -# $Id: UNICOS,v 8.12 2003/04/21 17:03:52 ca Exp $ +# $Id: UNICOS,v 8.12 2003-04-21 17:03:52 ca Exp $ dnl DO NOT EDIT THIS FILE. dnl Place personal settings in devtools/Site/site.config.m4 |