aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorDavid Aspinall1999-11-15 10:28:00 +0000
committerDavid Aspinall1999-11-15 10:28:00 +0000
commit7627f5f0c721d0669fe000d281d9aea1ef3dd4b4 (patch)
tree5b9a7808233c485a5a42aa8509528581f53ae762 /doc
parentcf56cc1cc7133f89f2605c38e46d748821cb9a8d (diff)
Tuned splash screen for FSF emacs. Added proof-font-lock-zap-commas
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions