diff options
author | Ryan Kavanagh <rak@debian.org> | 2013-06-07 21:11:55 -0400 |
---|---|---|
committer | Ryan Kavanagh <rak@debian.org> | 2013-06-07 21:11:55 -0400 |
commit | 03802058ff775967c6ee580c0998e2fd468e47fd (patch) | |
tree | 6200857cf96ec184091085920998c4d6fa09fbc2 /.dzen/icons/mpd.xbm | |
parent | Expand sbuildrc (diff) |
Use three window mode in proof general
Diffstat (limited to '.dzen/icons/mpd.xbm')
0 files changed, 0 insertions, 0 deletions