diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-21 22:14:52 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-21 22:14:52 +0100 |
| commit | a9e34d34926d7df3fb01143d6733b481c31c292d (patch) | |
| tree | 964a4baba3106f775692d4aec7c674f04be38cfb /.gitignore | |
| parent | 079712060c2a61515867e97ffb98c7c4e88e0d5a (diff) | |
tryed to fix more otr bugs. new resource setting
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions