diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-05-03 17:06:54 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-05-03 17:06:54 +0200 |
| commit | be2f7e047a488d5ca7de04dfa5437c290882274e (patch) | |
| tree | f7a2dc71a1c57bd379a0f840069ef8bd814684e1 /.gitignore | |
| parent | 4893d8030b049747e220d58edccb2fd00f3f1bce (diff) | |
more cleanup in res files
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions