From 44176cb1ac96b7d80e54242b90c28ce33a0ae64f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de> Date: Sat, 25 Jan 2014 10:39:51 +0100 Subject: [PATCH] GMLMIP: Add .gitignore --- GMLMIP-0.1/.gitignore | 4 ++++ GMLMIP-0.1/parser/.gitignore | 3 +++ 2 files changed, 7 insertions(+) create mode 100644 GMLMIP-0.1/.gitignore create mode 100644 GMLMIP-0.1/parser/.gitignore diff --git a/GMLMIP-0.1/.gitignore b/GMLMIP-0.1/.gitignore new file mode 100644 index 0000000..1557692 --- /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 0000000..7860f18 --- /dev/null +++ b/GMLMIP-0.1/parser/.gitignore @@ -0,0 +1,3 @@ +*.hh +*.tab.cc +*.tab.h -- GitLab