diff options
| -rw-r--r-- | otherlibs/bigarray/.cvsignore | 1 | ||||
| -rw-r--r-- | otherlibs/dbm/.cvsignore | 1 | ||||
| -rw-r--r-- | otherlibs/graph/.cvsignore | 1 | ||||
| -rw-r--r-- | otherlibs/num/.cvsignore | 1 | ||||
| -rw-r--r-- | otherlibs/str/.cvsignore | 1 | ||||
| -rw-r--r-- | otherlibs/systhreads/.cvsignore | 1 | ||||
| -rw-r--r-- | otherlibs/unix/.cvsignore | 1 |
7 files changed, 7 insertions, 0 deletions
diff --git a/otherlibs/bigarray/.cvsignore b/otherlibs/bigarray/.cvsignore index dd0e578f4..c54b3a358 100644 --- a/otherlibs/bigarray/.cvsignore +++ b/otherlibs/bigarray/.cvsignore @@ -1,2 +1,3 @@ *.o *.x +so_locations diff --git a/otherlibs/dbm/.cvsignore b/otherlibs/dbm/.cvsignore new file mode 100644 index 000000000..074dd28a4 --- /dev/null +++ b/otherlibs/dbm/.cvsignore @@ -0,0 +1 @@ +so_locations diff --git a/otherlibs/graph/.cvsignore b/otherlibs/graph/.cvsignore new file mode 100644 index 000000000..074dd28a4 --- /dev/null +++ b/otherlibs/graph/.cvsignore @@ -0,0 +1 @@ +so_locations diff --git a/otherlibs/num/.cvsignore b/otherlibs/num/.cvsignore index 8c6166c4e..7786c62f9 100644 --- a/otherlibs/num/.cvsignore +++ b/otherlibs/num/.cvsignore @@ -1,2 +1,3 @@ libnums.x *.c.x +so_locations diff --git a/otherlibs/str/.cvsignore b/otherlibs/str/.cvsignore index 7595d1422..a37b133d0 100644 --- a/otherlibs/str/.cvsignore +++ b/otherlibs/str/.cvsignore @@ -1,2 +1,3 @@ libstr.x *.c.x +so_locations diff --git a/otherlibs/systhreads/.cvsignore b/otherlibs/systhreads/.cvsignore index f7f43740f..b175e39d6 100644 --- a/otherlibs/systhreads/.cvsignore +++ b/otherlibs/systhreads/.cvsignore @@ -1,2 +1,3 @@ *.x thread.ml +so_locations diff --git a/otherlibs/unix/.cvsignore b/otherlibs/unix/.cvsignore new file mode 100644 index 000000000..074dd28a4 --- /dev/null +++ b/otherlibs/unix/.cvsignore @@ -0,0 +1 @@ +so_locations |