| commit | 357d42fa3c97683a3d89e462c10ad87871b7860d | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 03 13:25:41 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 03 13:25:41 2010 +0000 |
| tree | 1b440bd6e9cfaca5e22651e8253ec7b704635215 | |
| parent | b725198ba26e95821a42fea11e3c00f0da4a7e7b [diff] |
we don't want to delete existing maps, but consistently create the maps/ directory!