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