| commit | 8c5aca75af005b044d10d38977cc04d5d3b89c66 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu May 20 19:31:04 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu May 20 19:31:04 2010 +0000 |
| tree | 59ce10ad37161543a802ad68c3f7f6d0e9e75723 | |
| parent | 9fdf9db0742e3ccafe8bad6d5b247813ddead3d0 [diff] |
ignore jplis_dump directory