diff --git a/ocaml/.gitignore b/ocaml/.gitignore new file mode 100644 index 00000000..810dba2d --- /dev/null +++ b/ocaml/.gitignore @@ -0,0 +1,22 @@ +_build +element_create_db +element_create_db.byte +ezfio.ml +.gitignore +Git.ml +Input_*.ml +qp_create_ezfio +qp_create_ezfio.native +qp_edit +qp_edit.ml +qp_edit.native +qp_print_basis +qp_print_basis.native +qp_run +qp_run.native +qp_set_mo_class +qp_set_mo_class.native +qp_tunnel +qp_tunnel.native +qptypes_generator.byte +Qptypes.ml