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 /bin/dpr | |
| parent | Expand sbuildrc (diff) | |
Use three window mode in proof general
Diffstat (limited to 'bin/dpr')
0 files changed, 0 insertions, 0 deletions