diff options
Diffstat (limited to 'devtools/OS/ConvexOS')
| -rw-r--r-- | devtools/OS/ConvexOS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/OS/ConvexOS b/devtools/OS/ConvexOS index d83a1b2032ee4..91f57a73cb245 100644 --- a/devtools/OS/ConvexOS +++ b/devtools/OS/ConvexOS @@ -1,4 +1,4 @@ -# $Id: ConvexOS,v 8.9 2002/03/21 23:59:25 gshapiro Exp $ +# $Id: ConvexOS,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 |