summaryrefslogtreecommitdiffstats
path: root/stdlib/StdlibModules
diff options
context:
space:
mode:
authorBasile Starynkevitch <basile.starynkevitch@inria.fr>2003-11-26 10:57:14 +0000
committerBasile Starynkevitch <basile.starynkevitch@inria.fr>2003-11-26 10:57:14 +0000
commit2020ef749fee2425a416a2ed0a8ab2bc9d750c9f (patch)
treed2c4bd1525e46fb2ca71b5188703afd1e86b7cfd /stdlib/StdlibModules
parent19c1ab41b6e9751ca58e2fc778b34e6b9694c367 (diff)
added cvs id
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/StdlibModules')
-rw-r--r--stdlib/StdlibModules3
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 \