diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-12-08 15:46:26 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-12-08 15:46:26 +0000 |
| commit | 96053cafb4530a2459c2644b95c70baf57fd7eb1 (patch) | |
| tree | 71e66741bdd39ee61105dbc17ae102cae6d87cb9 /doc/config.mk.in | |
| parent | 2833ace46eb35266ebfe1a5bb8629210413b1be1 (diff) | |
Handle class operators correctly when rendering predicates
Diffstat (limited to 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions