aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorDavid Aspinall1999-09-29 15:46:01 +0000
committerDavid Aspinall1999-09-29 15:46:01 +0000
commit59fa14e009b386ef8fd792f4d5a5c33255bef8a8 (patch)
treec35d314ad40537161e33c99907d1c4bfbbfb22b6 /html
parent29f6b9e091e896d98505a0aa62dcac13f8896343 (diff)
Changed name of proof-copy-span to proof-mouse-track-insert.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions