diff options
| author | Bart Polot <bart@net.in.tum.de> | 2014-06-17 14:15:03 +0000 |
|---|---|---|
| committer | Bart Polot <bart@net.in.tum.de> | 2014-06-17 14:15:03 +0000 |
| commit | ac0ceefa94fd8fa00d9cdae76263902082e1c0cf (patch) | |
| tree | 82aa6b7dbaffac9d740de1a4064cac4cf36a5f1c | |
| parent | a0803efdaa3fa40eac5a204c928d40e02f91f9b8 (diff) | |
- ignore
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 8e923b5b6..91c3eadb4 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ !*~ */*~ # / +*.trs *log /ChangeLog /INSTALL |