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