| commit | 503c423ee75bbfac16f98df662fdfef102d002aa | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jun 27 13:15:05 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jun 27 13:15:05 2010 +0000 |
| tree | 947a4a5845c465707cb7c653610504d139f163d0 | |
| parent | becf71c728aace328657ceb477e8a0e926dcdf7a [diff] |
fine tuning of this script