summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBart Polot <bart@net.in.tum.de>2014-05-23 00:37:52 +0000
committerBart Polot <bart@net.in.tum.de>2014-05-23 00:37:52 +0000
commit4192e7e0a88b37682eb75d8179e6f746bc98fcca (patch)
tree6af9eff71941d39e6e058f96540078eefc0e3406 /.gitignore
parent8b016eba03c369bf1b02c00c1a2e439b98da99e7 (diff)
- simplify names, update Makefile
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions