diff options
Diffstat (limited to 'devtools/OS/DomainOS')
| -rw-r--r-- | devtools/OS/DomainOS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/OS/DomainOS b/devtools/OS/DomainOS index 152e5575ef3b..fbf7a3f42bb8 100644 --- a/devtools/OS/DomainOS +++ b/devtools/OS/DomainOS @@ -1,4 +1,4 @@ -# $Id: DomainOS,v 8.9 2002/03/21 23:59:25 gshapiro Exp $ +# $Id: DomainOS,v 8.9 2002-03-21 23:59:25 gshapiro Exp $ dnl DO NOT EDIT THIS FILE. dnl Place personal settings in devtools/Site/site.config.m4 |