commit | ef3248635a80d76758b6b79a61dd037ba0405d4d | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Nov 25 16:54:17 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Nov 25 16:54:17 2010 +0000 |
tree | 3740d32b95752c6019c03e56e8770ea3cb8a1093 | |
parent | e17b7fc04e28903c87495eef2baeef64ec9c47f6 [diff] |
avoid one access to internal (Workbench)