| commit | 8c3bab5ab984ebc8e4fb0804756a99f123c2cb4e | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Aug 10 22:02:51 2012 +0200 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Aug 10 22:02:51 2012 +0200 |
| tree | a5e984b3636a04b8b997362cc512eac76df94793 | |
| parent | 00847733ef759b5e337647a13105e1111080e904 [diff] |
git-ignore one more temporary file.