| commit | f42d74835de4fe61b3f6b8b93b650ddaf8015d61 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue May 04 14:42:09 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue May 04 14:42:09 2010 +0000 |
| tree | 50f14d15cb10030cacb2dd6f2195467f63a1231e | |
| parent | 35212650c5c4f203079ab341183ed0e79607b776 [diff] |
Fix for Bug 311558 - [ui] labels for guard predicates are not beautified