commit | b73ebc737d1844e3dfbdb78f676d65364e63d54a | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 02 16:54:49 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 02 16:54:49 2011 +0000 |
tree | 1b85df550d4b87ec8f012ccb42cd0804d9429966 | |
parent | 1b0d5b7bda936ce995292df7118d05dc8957abb2 [diff] |
update to new OT/J rules regarding unsafe lifting.