diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1996-12-17 12:14:04 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1996-12-17 12:14:04 +0000 |
| commit | 3356a7a88985ca1a49d8bcaa57388c94f053c903 (patch) | |
| tree | ea03204bcf0d66626e9ba150230af3132fbd8e92 /otherlibs/num | |
| parent | bd3817928d83a7c1bc879d6eaa69a910437dd23f (diff) | |
ignore les fichiers objet PPC sur Mac
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/num')
| -rw-r--r-- | otherlibs/num/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/num/.cvsignore b/otherlibs/num/.cvsignore index 683e2c569..1b155ed50 100644 --- a/otherlibs/num/.cvsignore +++ b/otherlibs/num/.cvsignore @@ -1,2 +1,3 @@ int_misc.ml nat.ml +*.x |