aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore19
1 files changed, 19 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..cf0c2c0
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,19 @@
1*
2!*/
3
4!.gitignore
5!.gitkeep
6
7!makefile
8!*.lex
9!*.y
10!*.c
11!*.h
12!*.txt
13!*.md
14!*.tex
15
16*.yy.c
17*.tab.c
18*.tab.h
19