summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorPavel Machek <pavel@ucw.cz>2000-04-17 11:34:38 +0000
committerPavel Machek <pavel@ucw.cz>2000-04-17 11:34:38 +0000
commit9c400ec9dd0ee74f1f350ead87dcd7366dbab7b1 (patch)
tree8a610e3d07c2004248bd0b247c7a7b2d9af1585d /tools
parente3558ab14ee60c8c9792bc3ed54d9f0c3eaa8ea8 (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