commit | 61a7122617c5c432bbad619cbb2fbfca6c885283 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 23 21:43:46 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 23 21:43:46 2010 +0000 |
tree | abd481a10cf243cfe9489cf7d29c6ae2cb629a16 | |
parent | 90988d1515dc1bf1d87892cee46d12cc96153a7e [diff] |
cleaned up version of the patches from bug 304728 and bug 304729 (second strategy).