diff options
author | Pavel Machek <pavel@ucw.cz> | 2000-04-17 11:34:38 +0000 |
---|---|---|
committer | Pavel Machek <pavel@ucw.cz> | 2000-04-17 11:34:38 +0000 |
commit | 9c400ec9dd0ee74f1f350ead87dcd7366dbab7b1 (patch) | |
tree | 8a610e3d07c2004248bd0b247c7a7b2d9af1585d /tools | |
parent | e3558ab14ee60c8c9792bc3ed54d9f0c3eaa8ea8 (diff) |
Int sets moved to core. It is now possible to have variable of type clist.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions