aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-02-28 19:47:50 -0500
committerRyan Kavanagh <rak@debian.org>2013-02-28 19:47:50 -0500
commit2dc3d23ad77e7ba70759c7ada366d43f26d8860f (patch)
treeaa7ef8562315649448c590c3d5101c9fab65bc04 /emacsen/proofgeneral
parentX emacs doesn't handle xterm colours (color-NNN), switch to hex (diff)
Added bbdb
Diffstat (limited to 'emacsen/proofgeneral')
0 files changed, 0 insertions, 0 deletions