aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-04-05 09:20:33 -0400
committerRyan Kavanagh <rak@debian.org>2013-04-05 09:20:33 -0400
commit1a035097005fc017147cd0c4bcbb7c2cfbcdaa40 (patch)
tree9727a4d1c5224a35b51ed7753d6f1226b11fc4ee /emacsen/proofgeneral
parentInstall BBDB to ~/.emacs.d/bbdb now (diff)
Use rsync to install fonts; faster than cp
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions