| commit | 56942e80c4a7ff0e447c823c01e7bb1c46a63e99 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jun 14 19:00:17 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jun 14 19:00:17 2010 +0000 |
| tree | 60c3e22a88cc6756866f9aae94267bc2e7247b0a | |
| parent | f30205eaaf01deaf9039f6f46719cbbe063acd5f [diff] |
start to manage some more scripts that are not part of the automated build. This file performs various kinds of post-processing on the generated repository.