aboutsummaryrefslogtreecommitdiff
path: root/twelf
diff options
context:
space:
mode:
authorDavid Aspinall2001-09-03 10:30:35 +0000
committerDavid Aspinall2001-09-03 10:30:35 +0000
commit99a8e9bd38804a3b0e05be1186d2fc9b0ed34ec0 (patch)
tree4b1bc0a5c524d9bfbb63b6b6bab4ee7c5aaa2642 /twelf
parent6f0158f8e265364bcb09084aa5709fa644d252dd (diff)
Add settings for testing trace buffers.
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions