diff options
Diffstat (limited to 'devtools/OS/Linux')
| -rw-r--r-- | devtools/OS/Linux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/OS/Linux b/devtools/OS/Linux index 119b6f9f830f..bc02f82e7a9d 100644 --- a/devtools/OS/Linux +++ b/devtools/OS/Linux @@ -1,4 +1,4 @@ -# $Id: Linux,v 8.31 2009/01/22 02:15:42 guenther Exp $ +# $Id: Linux,v 8.31 2009-01-22 02:15:42 guenther Exp $ dnl DO NOT EDIT THIS FILE. dnl Place personal settings in devtools/Site/site.config.m4 |