diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-02-08 00:24:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-02-08 00:24:37 +0000 |
| commit | 9e135cc00931717c9186f188db8324b858aa785a (patch) | |
| tree | 9d5bdb387612bd9b094a3944ec9006387e99706f /twelf | |
| parent | bc513d5ec50c0cb59c1cbd3ce76dcc86ed0f401e (diff) | |
Adjust global state idea, it is supposed to count down as well as up...
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions