commit | e57451eaa241de74dd045a032849a35f97ca9d6f | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun May 01 19:23:47 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun May 01 19:23:47 2011 +0000 |
tree | 9a59cd860285ccb81d1f409e0582d742ce8af2b2 | |
parent | dab6ce97246f589bb12c622cc02bf86f68428095 [diff] |
separate out non-OTDT projects like the nullity prototype