aboutsummaryrefslogtreecommitdiffhomepage
path: root/hol98
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2001-08-01 16:13:49 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2001-08-01 16:13:49 +0000
commit851569fdffc800e0480fafe1e8760a0ff21abb41 (patch)
treea9c836cfa971a42c2d7d3aa7faaba4b2550592a2 /hol98
parent0f32001385dcba8dccd51e0ad86aaf35d5af07a3 (diff)
Revert to removing and re-adding specifiers for toolbar,
so that enablers work at least as well as they did before...
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions