add a .gitignore in the T directory

git status was way too noisy
2016-06-24 17:59:50 +02:00
parent 3f4f285136
commit 4bdacd953d
1 changed files with 12 additions and 0 deletions
@@ -0,0 +1,12 @@
 *.o
 *.a
 T_IDs.h
 T_messages.txt.h
 genids
 tracer/enb
 tracer/extract_config
 tracer/record
 tracer/replay
 tracer/textlog
 tracer/vcd
 tracee/tracee