tree a5e984b3636a04b8b997362cc512eac76df94793
parent 00847733ef759b5e337647a13105e1111080e904
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1344628971 +0200
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1344628971 +0200

git-ignore one more temporary file.