aboutsummaryrefslogtreecommitdiffhomepage
path: root/twelf
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>2000-11-22 20:42:39 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>2000-11-22 20:42:39 +0000
commit7bc4491268808bb6dd8c45a66b46683eeac1940c (patch)
tree4fe6db9fe88c47376ca84dcec7f639a85245580d /twelf
parentd6d7a0be9aa3c56917b7d956b322953b5305506e (diff)
disable trace option;
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions