diff options
author | Olly Betts <olly@survex.com> | 2014-02-19 22:35:45 +1300 |
---|---|---|
committer | Olly Betts <olly@survex.com> | 2014-02-19 22:35:45 +1300 |
commit | dcf121f534a5c06d5ccc47bc0b04de982c1df3b2 (patch) | |
tree | c0aab49ec5d3fcc50011dbf401ff368e5e9c4ca7 /.gitignore | |
parent | 91461647486b79b055e11b4a15b75e90a0783da1 (diff) | |
download | swig-dcf121f534a5c06d5ccc47bc0b04de982c1df3b2.tar.gz |
Make Lib/ocaml/swigp4.ml a non-generated file.
We used to have configure substitute values into it, but that's not been
the case for just over 3 years, since patch #3151788 was applied.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index eb3aa012c..67a6ee936 100644 --- a/.gitignore +++ b/.gitignore @@ -67,7 +67,6 @@ Examples/Makefile Examples/guile/Makefile Examples/test-suite/*/Makefile Examples/xml/Makefile -Lib/ocaml/swigp4.ml /Makefile Source/Include/stamp-h1 Source/Include/swigconfig.h |