diff options
| -rw-r--r-- | stdlib/StdlibModules | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/StdlibModules b/stdlib/StdlibModules index 2ed30b758..7b068c457 100644 --- a/stdlib/StdlibModules +++ b/stdlib/StdlibModules @@ -1,5 +1,6 @@ -# This file lists all standard library modules. +# This file lists all standard library modules. -*- Makefile -*- # It is used in particular to know what to expunge in toplevels. +# $Id$ STDLIB_MODULES=\ arg \ |