diff --git a/GMLMIP-0.1/.gitignore b/GMLMIP-0.1/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..1557692ed2e3b063b06003b1a3c12a44292ebd10 --- /dev/null +++ b/GMLMIP-0.1/.gitignore @@ -0,0 +1,4 @@ +main +onestep +*.yy.c +*.yy.h diff --git a/GMLMIP-0.1/parser/.gitignore b/GMLMIP-0.1/parser/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..7860f1880061fbe2f0a3a77670806876291574e2 --- /dev/null +++ b/GMLMIP-0.1/parser/.gitignore @@ -0,0 +1,3 @@ +*.hh +*.tab.cc +*.tab.h