summaryrefslogtreecommitdiff
path: root/.config/xfce4/xinitrc
diff options
context:
space:
mode:
authorRené Neumann <rene.neumann@in.tum.de>2011-10-14 17:14:40 +0200
committerRené Neumann <rene.neumann@in.tum.de>2011-10-14 17:17:41 +0200
commita848582437411de942f62c98f8436c188420b998 (patch)
tree1db6c82bbbacb5a54fcc8bb388334226eaf4b3ec /.config/xfce4/xinitrc
parent6e3b1e00583a3427af4225e36eef247a70c8675a (diff)
downloaddotfiles-a848582437411de942f62c98f8436c188420b998.tar.gz
dotfiles-a848582437411de942f62c98f8436c188420b998.tar.bz2
dotfiles-a848582437411de942f62c98f8436c188420b998.zip
Make the quotes in ProofGeneral to be nearly invisible
Diffstat (limited to '.config/xfce4/xinitrc')
0 files changed, 0 insertions, 0 deletions