| commit | f7e42fe006070131126346768526eed9e49b5838 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 03 22:40:20 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 03 22:40:20 2010 +0000 |
| tree | 825ebc089f1a2b59c8f9140f3e2dde448fc24ebf | |
| parent | 357d42fa3c97683a3d89e462c10ad87871b7860d [diff] |
fix some "new" required properties