diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 1996-05-04 14:39:41 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 1996-05-04 14:39:41 +0000 |
| commit | 8085c1476b9fc9e0739cfdd880ecacc6e6385ad0 (patch) | |
| tree | beee9fef584cb33ae78c80bee7c52aee2f898755 | |
| parent | 6cfdc1aaba616d51283e2be44ff428fb67bcf52f (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@789 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/dynlink/.cvsignore | 1 | ||||
| -rw-r--r-- | otherlibs/graph/.cvsignore | 1 | ||||
| -rw-r--r-- | otherlibs/num/.cvsignore | 2 | ||||
| -rw-r--r-- | otherlibs/str/regex-0.12/.cvsignore | 2 |
4 files changed, 6 insertions, 0 deletions
diff --git a/otherlibs/dynlink/.cvsignore b/otherlibs/dynlink/.cvsignore new file mode 100644 index 000000000..5ea9775e1 --- /dev/null +++ b/otherlibs/dynlink/.cvsignore @@ -0,0 +1 @@ +extract_crc diff --git a/otherlibs/graph/.cvsignore b/otherlibs/graph/.cvsignore new file mode 100644 index 000000000..6a060f267 --- /dev/null +++ b/otherlibs/graph/.cvsignore @@ -0,0 +1 @@ +graphics.ml diff --git a/otherlibs/num/.cvsignore b/otherlibs/num/.cvsignore new file mode 100644 index 000000000..683e2c569 --- /dev/null +++ b/otherlibs/num/.cvsignore @@ -0,0 +1,2 @@ +int_misc.ml +nat.ml diff --git a/otherlibs/str/regex-0.12/.cvsignore b/otherlibs/str/regex-0.12/.cvsignore new file mode 100644 index 000000000..7abff1dbe --- /dev/null +++ b/otherlibs/str/regex-0.12/.cvsignore @@ -0,0 +1,2 @@ +Makefile +config.status |