summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_search.mli
diff options
context:
space:
mode:
authorBasile Starynkevitch <basile.starynkevitch@inria.fr>2003-11-24 10:44:07 +0000
committerBasile Starynkevitch <basile.starynkevitch@inria.fr>2003-11-24 10:44:07 +0000
commit0d5a86e5204266235d183963156bcbfdc22618df (patch)
treeaa1a8b2018f6faea1804a64105fe06bddea164b1 /ocamldoc/odoc_search.mli
parentcb7ba4eacacad20a5958777665f0b8d0e6d56cfb (diff)
added $Id$ keywords
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5973 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_search.mli')
-rw-r--r--ocamldoc/odoc_search.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_search.mli b/ocamldoc/odoc_search.mli
index f7f8c61fb..affd315fb 100644
--- a/ocamldoc/odoc_search.mli
+++ b/ocamldoc/odoc_search.mli
@@ -9,6 +9,7 @@
(* *)
(***********************************************************************)
+(* $Id$ *)
(** Research of elements through modules. *)