From 1a40d93d10be4ee71ae9474384af931d70918690 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sun, 8 Jan 2006 17:26:52 +0000 Subject: [PATCH] .cvsignore files removed (the svn:property property is used instead) --- helm/matita/.cvsignore | 45 ------------------- helm/matita/contribs/LAMBDA-TYPES/.cvsignore | 2 - .../contribs/PREDICATIVE-TOPOLOGY/.cvsignore | 2 - helm/matita/dist/static_link/.cvsignore | 3 -- helm/matita/library/.cvsignore | 2 - helm/matita/library/Z/.cvsignore | 1 - helm/matita/library/datatypes/.cvsignore | 1 - .../library/higher_order_defs/.cvsignore | 1 - helm/matita/library/logic/.cvsignore | 1 - helm/matita/library/nat/.cvsignore | 1 - helm/matita/tests/.cvsignore | 1 - helm/matita/tests/bad_tests/.cvsignore | 1 - helm/ocaml/.cvsignore | 15 ------- helm/ocaml/METAS/.cvsignore | 1 - helm/ocaml/acic_content/.cvsignore | 2 - helm/ocaml/cic/.cvsignore | 4 -- helm/ocaml/cic_acic/.cvsignore | 2 - helm/ocaml/cic_disambiguation/.cvsignore | 5 --- helm/ocaml/cic_proof_checking/.cvsignore | 4 -- .../cic_proof_checking/utilities/.cvsignore | 7 --- helm/ocaml/cic_unification/.cvsignore | 1 - helm/ocaml/content_pres/.cvsignore | 4 -- helm/ocaml/extlib/.cvsignore | 2 - helm/ocaml/getter/.cvsignore | 2 - helm/ocaml/grafite/.cvsignore | 5 --- helm/ocaml/grafite_engine/.cvsignore | 5 --- helm/ocaml/grafite_parser/.cvsignore | 5 --- helm/ocaml/hbugs/.cvsignore | 9 ---- helm/ocaml/hbugs/data/.cvsignore | 1 - helm/ocaml/hbugs/doc/.cvsignore | 1 - helm/ocaml/hbugs/run/.cvsignore | 1 - helm/ocaml/hbugs/test/.cvsignore | 7 --- helm/ocaml/hgdome/.cvsignore | 2 - helm/ocaml/hmysql/.cvsignore | 2 - helm/ocaml/lexicon/.cvsignore | 7 --- helm/ocaml/library/.cvsignore | 7 --- helm/ocaml/logger/.cvsignore | 7 --- helm/ocaml/mathql/.cvsignore | 1 - helm/ocaml/mathql_generator/.cvsignore | 5 --- helm/ocaml/mathql_interpreter/.cvsignore | 1 - helm/ocaml/metadata/.cvsignore | 2 - helm/ocaml/metadata/extractor/.cvsignore | 6 --- helm/ocaml/metadata/table_creator/.cvsignore | 6 --- helm/ocaml/paramodulation/.cvsignore | 3 -- helm/ocaml/registry/.cvsignore | 8 ---- helm/ocaml/tactics/.cvsignore | 9 ---- helm/ocaml/tactics/doc/.cvsignore | 6 --- helm/ocaml/thread/.cvsignore | 1 - helm/ocaml/thread/fake/.cvsignore | 1 - helm/ocaml/urimanager/.cvsignore | 1 - helm/ocaml/utf8_macros/.cvsignore | 3 -- helm/ocaml/whelp/.cvsignore | 7 --- helm/ocaml/xml/.cvsignore | 3 -- helm/ocaml/xmldiff/.cvsignore | 1 - 54 files changed, 233 deletions(-) delete mode 100644 helm/matita/.cvsignore delete mode 100644 helm/matita/contribs/LAMBDA-TYPES/.cvsignore delete mode 100644 helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore delete mode 100644 helm/matita/dist/static_link/.cvsignore delete mode 100644 helm/matita/library/.cvsignore delete mode 100644 helm/matita/library/Z/.cvsignore delete mode 100644 helm/matita/library/datatypes/.cvsignore delete mode 100644 helm/matita/library/higher_order_defs/.cvsignore delete mode 100644 helm/matita/library/logic/.cvsignore delete mode 100644 helm/matita/library/nat/.cvsignore delete mode 100644 helm/matita/tests/.cvsignore delete mode 100644 helm/matita/tests/bad_tests/.cvsignore delete mode 100644 helm/ocaml/.cvsignore delete mode 100644 helm/ocaml/METAS/.cvsignore delete mode 100644 helm/ocaml/acic_content/.cvsignore delete mode 100644 helm/ocaml/cic/.cvsignore delete mode 100644 helm/ocaml/cic_acic/.cvsignore delete mode 100644 helm/ocaml/cic_disambiguation/.cvsignore delete mode 100644 helm/ocaml/cic_proof_checking/.cvsignore delete mode 100644 helm/ocaml/cic_proof_checking/utilities/.cvsignore delete mode 100644 helm/ocaml/cic_unification/.cvsignore delete mode 100644 helm/ocaml/content_pres/.cvsignore delete mode 100644 helm/ocaml/extlib/.cvsignore delete mode 100644 helm/ocaml/getter/.cvsignore delete mode 100644 helm/ocaml/grafite/.cvsignore delete mode 100644 helm/ocaml/grafite_engine/.cvsignore delete mode 100644 helm/ocaml/grafite_parser/.cvsignore delete mode 100644 helm/ocaml/hbugs/.cvsignore delete mode 100644 helm/ocaml/hbugs/data/.cvsignore delete mode 100644 helm/ocaml/hbugs/doc/.cvsignore delete mode 100644 helm/ocaml/hbugs/run/.cvsignore delete mode 100644 helm/ocaml/hbugs/test/.cvsignore delete mode 100644 helm/ocaml/hgdome/.cvsignore delete mode 100644 helm/ocaml/hmysql/.cvsignore delete mode 100644 helm/ocaml/lexicon/.cvsignore delete mode 100644 helm/ocaml/library/.cvsignore delete mode 100644 helm/ocaml/logger/.cvsignore delete mode 100644 helm/ocaml/mathql/.cvsignore delete mode 100644 helm/ocaml/mathql_generator/.cvsignore delete mode 100644 helm/ocaml/mathql_interpreter/.cvsignore delete mode 100644 helm/ocaml/metadata/.cvsignore delete mode 100644 helm/ocaml/metadata/extractor/.cvsignore delete mode 100644 helm/ocaml/metadata/table_creator/.cvsignore delete mode 100644 helm/ocaml/paramodulation/.cvsignore delete mode 100644 helm/ocaml/registry/.cvsignore delete mode 100644 helm/ocaml/tactics/.cvsignore delete mode 100644 helm/ocaml/tactics/doc/.cvsignore delete mode 100644 helm/ocaml/thread/.cvsignore delete mode 100644 helm/ocaml/thread/fake/.cvsignore delete mode 100644 helm/ocaml/urimanager/.cvsignore delete mode 100644 helm/ocaml/utf8_macros/.cvsignore delete mode 100644 helm/ocaml/whelp/.cvsignore delete mode 100644 helm/ocaml/xml/.cvsignore delete mode 100644 helm/ocaml/xmldiff/.cvsignore diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore deleted file mode 100644 index 1f613f38a..000000000 --- a/helm/matita/.cvsignore +++ /dev/null @@ -1,45 +0,0 @@ -*.a -*.annot -autom4te.cache -buildTimeConf.ml -cicbrowser -cicbrowser.opt -*.cma -*.cmi -*.cmo -*.cmx -*.cmxa -config.log -config.status -configure -.depend -gtkmathview.matita.conf.xml -Makefile -matita -.matita -matitac -matitaclean -matitaclean.opt -matita.conf.xml -matita.conf.xml -matita.conf.xml.sample -matitac.opt -matitadep -matitadep.opt -matitaGeneratedGui.ml -matitaGeneratedGui.mli -matita.glade.bak -matita.gladep -matita.gladep.bak -matitamake -matitamake.opt -matita.opt -matita.opt -dump_moo -dump_moo.opt -matitatop -*.moo -*.o -*.static -*.swp -*.upx diff --git a/helm/matita/contribs/LAMBDA-TYPES/.cvsignore b/helm/matita/contribs/LAMBDA-TYPES/.cvsignore deleted file mode 100644 index 6d473d47a..000000000 --- a/helm/matita/contribs/LAMBDA-TYPES/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -.depend -*.moo diff --git a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore b/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore deleted file mode 100644 index 6d473d47a..000000000 --- a/helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -.depend -*.moo diff --git a/helm/matita/dist/static_link/.cvsignore b/helm/matita/dist/static_link/.cvsignore deleted file mode 100644 index a922053a0..000000000 --- a/helm/matita/dist/static_link/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -static_link -static_link.cmi -static_link.cmo diff --git a/helm/matita/library/.cvsignore b/helm/matita/library/.cvsignore deleted file mode 100644 index 6d473d47a..000000000 --- a/helm/matita/library/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -.depend -*.moo diff --git a/helm/matita/library/Z/.cvsignore b/helm/matita/library/Z/.cvsignore deleted file mode 100644 index fcd4d925e..000000000 --- a/helm/matita/library/Z/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.moo diff --git a/helm/matita/library/datatypes/.cvsignore b/helm/matita/library/datatypes/.cvsignore deleted file mode 100644 index fcd4d925e..000000000 --- a/helm/matita/library/datatypes/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.moo diff --git a/helm/matita/library/higher_order_defs/.cvsignore b/helm/matita/library/higher_order_defs/.cvsignore deleted file mode 100644 index fcd4d925e..000000000 --- a/helm/matita/library/higher_order_defs/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.moo diff --git a/helm/matita/library/logic/.cvsignore b/helm/matita/library/logic/.cvsignore deleted file mode 100644 index fcd4d925e..000000000 --- a/helm/matita/library/logic/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.moo diff --git a/helm/matita/library/nat/.cvsignore b/helm/matita/library/nat/.cvsignore deleted file mode 100644 index fcd4d925e..000000000 --- a/helm/matita/library/nat/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.moo diff --git a/helm/matita/tests/.cvsignore b/helm/matita/tests/.cvsignore deleted file mode 100644 index 4671378ae..000000000 --- a/helm/matita/tests/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -.depend diff --git a/helm/matita/tests/bad_tests/.cvsignore b/helm/matita/tests/bad_tests/.cvsignore deleted file mode 100644 index 4671378ae..000000000 --- a/helm/matita/tests/bad_tests/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -.depend diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore deleted file mode 100644 index 391243bb0..000000000 --- a/helm/ocaml/.cvsignore +++ /dev/null @@ -1,15 +0,0 @@ -Makefile -Makefile.common -autom4te.cache -config.cache -config.log -config.status -configure -libraries.ps -libraries-complete.ps -.dep.dot -.alldep.dot -.clustersdep.dot -.extdep.dot -libraries-clusters.ps -libraries-ext.ps diff --git a/helm/ocaml/METAS/.cvsignore b/helm/ocaml/METAS/.cvsignore deleted file mode 100644 index e4ee23c44..000000000 --- a/helm/ocaml/METAS/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -META.* diff --git a/helm/ocaml/acic_content/.cvsignore b/helm/ocaml/acic_content/.cvsignore deleted file mode 100644 index 8d64a5378..000000000 --- a/helm/ocaml/acic_content/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -*.cm[iaox] -*.cmxa diff --git a/helm/ocaml/cic/.cvsignore b/helm/ocaml/cic/.cvsignore deleted file mode 100644 index fa6ba7b5b..000000000 --- a/helm/ocaml/cic/.cvsignore +++ /dev/null @@ -1,4 +0,0 @@ -*.cm[iaox] -*.cmxa -test -test.opt diff --git a/helm/ocaml/cic_acic/.cvsignore b/helm/ocaml/cic_acic/.cvsignore deleted file mode 100644 index 8d64a5378..000000000 --- a/helm/ocaml/cic_acic/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -*.cm[iaox] -*.cmxa diff --git a/helm/ocaml/cic_disambiguation/.cvsignore b/helm/ocaml/cic_disambiguation/.cvsignore deleted file mode 100644 index 93ed7a89c..000000000 --- a/helm/ocaml/cic_disambiguation/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -*.cm[aiox] *.cmxa *.[ao] -test_lexer -test_parser -macro_table.ml -make_table diff --git a/helm/ocaml/cic_proof_checking/.cvsignore b/helm/ocaml/cic_proof_checking/.cvsignore deleted file mode 100644 index 333bd154e..000000000 --- a/helm/ocaml/cic_proof_checking/.cvsignore +++ /dev/null @@ -1,4 +0,0 @@ -*.cm[iaox] *.cmxa -cicReduction.ml -.dep.dot -cic_proof_checking.ps diff --git a/helm/ocaml/cic_proof_checking/utilities/.cvsignore b/helm/ocaml/cic_proof_checking/utilities/.cvsignore deleted file mode 100644 index 3998fcc5b..000000000 --- a/helm/ocaml/cic_proof_checking/utilities/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -*.cm[iaox] *.cmxa -create_environment -create_environment.opt -list_uris -list_uris.opt -parse_library -parse_library.opt diff --git a/helm/ocaml/cic_unification/.cvsignore b/helm/ocaml/cic_unification/.cvsignore deleted file mode 100644 index 6b3eba302..000000000 --- a/helm/ocaml/cic_unification/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.cm[iaox] *.cmxa diff --git a/helm/ocaml/content_pres/.cvsignore b/helm/ocaml/content_pres/.cvsignore deleted file mode 100644 index ce13c765e..000000000 --- a/helm/ocaml/content_pres/.cvsignore +++ /dev/null @@ -1,4 +0,0 @@ -*.cm[iaox] -*.cmxa -test_lexer -test_lexer.opt diff --git a/helm/ocaml/extlib/.cvsignore b/helm/ocaml/extlib/.cvsignore deleted file mode 100644 index 8d64a5378..000000000 --- a/helm/ocaml/extlib/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -*.cm[iaox] -*.cmxa diff --git a/helm/ocaml/getter/.cvsignore b/helm/ocaml/getter/.cvsignore deleted file mode 100644 index 806547a56..000000000 --- a/helm/ocaml/getter/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -*.cm[iaox] *.cmxa -test diff --git a/helm/ocaml/grafite/.cvsignore b/helm/ocaml/grafite/.cvsignore deleted file mode 100644 index 8697eb7ee..000000000 --- a/helm/ocaml/grafite/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -*.cm[iaox] -*.cmxa -test_dep -test_parser -print_grammar diff --git a/helm/ocaml/grafite_engine/.cvsignore b/helm/ocaml/grafite_engine/.cvsignore deleted file mode 100644 index 8697eb7ee..000000000 --- a/helm/ocaml/grafite_engine/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -*.cm[iaox] -*.cmxa -test_dep -test_parser -print_grammar diff --git a/helm/ocaml/grafite_parser/.cvsignore b/helm/ocaml/grafite_parser/.cvsignore deleted file mode 100644 index 8697eb7ee..000000000 --- a/helm/ocaml/grafite_parser/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -*.cm[iaox] -*.cmxa -test_dep -test_parser -print_grammar diff --git a/helm/ocaml/hbugs/.cvsignore b/helm/ocaml/hbugs/.cvsignore deleted file mode 100644 index ee95e49d9..000000000 --- a/helm/ocaml/hbugs/.cvsignore +++ /dev/null @@ -1,9 +0,0 @@ -hbugs_client_gui.ml -hbugs_client_gui.mli -.generated_tutors.ml -.tutors.ml -*.cma -*.cmi -*.cmo -*.cmx -*.cmxa diff --git a/helm/ocaml/hbugs/data/.cvsignore b/helm/ocaml/hbugs/data/.cvsignore deleted file mode 100644 index 1fa56db7a..000000000 --- a/helm/ocaml/hbugs/data/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.environment diff --git a/helm/ocaml/hbugs/doc/.cvsignore b/helm/ocaml/hbugs/doc/.cvsignore deleted file mode 100644 index 743328ec1..000000000 --- a/helm/ocaml/hbugs/doc/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.dia~ diff --git a/helm/ocaml/hbugs/run/.cvsignore b/helm/ocaml/hbugs/run/.cvsignore deleted file mode 100644 index 397b4a762..000000000 --- a/helm/ocaml/hbugs/run/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.log diff --git a/helm/ocaml/hbugs/test/.cvsignore b/helm/ocaml/hbugs/test/.cvsignore deleted file mode 100644 index d9ed0701b..000000000 --- a/helm/ocaml/hbugs/test/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -*.cmi -*.cmo -*.cma -*.cmx -*.o -*.a -test_serialization diff --git a/helm/ocaml/hgdome/.cvsignore b/helm/ocaml/hgdome/.cvsignore deleted file mode 100644 index 8d64a5378..000000000 --- a/helm/ocaml/hgdome/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -*.cm[iaox] -*.cmxa diff --git a/helm/ocaml/hmysql/.cvsignore b/helm/ocaml/hmysql/.cvsignore deleted file mode 100644 index 8d64a5378..000000000 --- a/helm/ocaml/hmysql/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -*.cm[iaox] -*.cmxa diff --git a/helm/ocaml/lexicon/.cvsignore b/helm/ocaml/lexicon/.cvsignore deleted file mode 100644 index f83e2a8d0..000000000 --- a/helm/ocaml/lexicon/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -*.cmi -*.cma -*.cmo -*.cmx -*.cmxa -*.o -*.a diff --git a/helm/ocaml/library/.cvsignore b/helm/ocaml/library/.cvsignore deleted file mode 100644 index f83e2a8d0..000000000 --- a/helm/ocaml/library/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -*.cmi -*.cma -*.cmo -*.cmx -*.cmxa -*.o -*.a diff --git a/helm/ocaml/logger/.cvsignore b/helm/ocaml/logger/.cvsignore deleted file mode 100644 index f5a6b2ed3..000000000 --- a/helm/ocaml/logger/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -*.cma -*.cmo -*.cmx -*.cmi -*.cmxa -*.a -*.o diff --git a/helm/ocaml/mathql/.cvsignore b/helm/ocaml/mathql/.cvsignore deleted file mode 100644 index 6b3eba302..000000000 --- a/helm/ocaml/mathql/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.cm[iaox] *.cmxa diff --git a/helm/ocaml/mathql_generator/.cvsignore b/helm/ocaml/mathql_generator/.cvsignore deleted file mode 100644 index 539f5b5ab..000000000 --- a/helm/ocaml/mathql_generator/.cvsignore +++ /dev/null @@ -1,5 +0,0 @@ -*.cmi -*.cmo -*.cma -*.cmx -*.cmxa diff --git a/helm/ocaml/mathql_interpreter/.cvsignore b/helm/ocaml/mathql_interpreter/.cvsignore deleted file mode 100644 index cd9b591e3..000000000 --- a/helm/ocaml/mathql_interpreter/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.cm[iaox] *.cmxa mQueryTLexer.ml mQueryTParser.ml mQueryTParser.mli diff --git a/helm/ocaml/metadata/.cvsignore b/helm/ocaml/metadata/.cvsignore deleted file mode 100644 index 702e58bb7..000000000 --- a/helm/ocaml/metadata/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -*.cm[aiox] *.cmxa *.[ao] -test diff --git a/helm/ocaml/metadata/extractor/.cvsignore b/helm/ocaml/metadata/extractor/.cvsignore deleted file mode 100644 index 8d810200f..000000000 --- a/helm/ocaml/metadata/extractor/.cvsignore +++ /dev/null @@ -1,6 +0,0 @@ -*.cm[aiox] -*.cmxa -extractor -extractor.opt -extractor_manager -extractor_manager.opt diff --git a/helm/ocaml/metadata/table_creator/.cvsignore b/helm/ocaml/metadata/table_creator/.cvsignore deleted file mode 100644 index acea566bd..000000000 --- a/helm/ocaml/metadata/table_creator/.cvsignore +++ /dev/null @@ -1,6 +0,0 @@ -*.cm[aiox] -*.cmxa -table_creator -table_creator.opt -table_destructor -table_destructor.opt diff --git a/helm/ocaml/paramodulation/.cvsignore b/helm/ocaml/paramodulation/.cvsignore deleted file mode 100644 index b85367216..000000000 --- a/helm/ocaml/paramodulation/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -*.cm[iaox] *.cmxa -saturate -saturate.opt diff --git a/helm/ocaml/registry/.cvsignore b/helm/ocaml/registry/.cvsignore deleted file mode 100644 index f72bbdfab..000000000 --- a/helm/ocaml/registry/.cvsignore +++ /dev/null @@ -1,8 +0,0 @@ -*.a -*.cma -*.cmi -*.cmo -*.cmxa -*.o -*.cmx -test diff --git a/helm/ocaml/tactics/.cvsignore b/helm/ocaml/tactics/.cvsignore deleted file mode 100644 index 8d98e3ef1..000000000 --- a/helm/ocaml/tactics/.cvsignore +++ /dev/null @@ -1,9 +0,0 @@ -*.cmi -*.cma -*.cmo -*.cmx -*.cmxa -*.o -*.a -.dep.dot -tactics.ps diff --git a/helm/ocaml/tactics/doc/.cvsignore b/helm/ocaml/tactics/doc/.cvsignore deleted file mode 100644 index 583537c57..000000000 --- a/helm/ocaml/tactics/doc/.cvsignore +++ /dev/null @@ -1,6 +0,0 @@ -main.aux -main.dvi -main.log -main.out -main.pdf -main.ps diff --git a/helm/ocaml/thread/.cvsignore b/helm/ocaml/thread/.cvsignore deleted file mode 100644 index 88689d91a..000000000 --- a/helm/ocaml/thread/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.cm[iaox] *.cmxa *.[ao] diff --git a/helm/ocaml/thread/fake/.cvsignore b/helm/ocaml/thread/fake/.cvsignore deleted file mode 100644 index 88689d91a..000000000 --- a/helm/ocaml/thread/fake/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.cm[iaox] *.cmxa *.[ao] diff --git a/helm/ocaml/urimanager/.cvsignore b/helm/ocaml/urimanager/.cvsignore deleted file mode 100644 index 6b3eba302..000000000 --- a/helm/ocaml/urimanager/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.cm[iaox] *.cmxa diff --git a/helm/ocaml/utf8_macros/.cvsignore b/helm/ocaml/utf8_macros/.cvsignore deleted file mode 100644 index 0c5eea419..000000000 --- a/helm/ocaml/utf8_macros/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -*.cm[iaox] *.cmxa -make_table -test diff --git a/helm/ocaml/whelp/.cvsignore b/helm/ocaml/whelp/.cvsignore deleted file mode 100644 index 780c0115b..000000000 --- a/helm/ocaml/whelp/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -*.a -*.cma -*.cmi -*.cmo -*.cmx -*.cmxa -*.o diff --git a/helm/ocaml/xml/.cvsignore b/helm/ocaml/xml/.cvsignore deleted file mode 100644 index ee126863f..000000000 --- a/helm/ocaml/xml/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -*.cm[iaox] *.cmxa -test -test.opt diff --git a/helm/ocaml/xmldiff/.cvsignore b/helm/ocaml/xmldiff/.cvsignore deleted file mode 100644 index 6b3eba302..000000000 --- a/helm/ocaml/xmldiff/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.cm[iaox] *.cmxa -- 2.39.2