diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-06-07 21:12:13 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-06-07 21:12:13 -0400 |
| commit | 55da3155cf3f364db0924182b978ae89870379f4 (patch) | |
| tree | 5bfe56122ee2d9a8152a93f5c0fcb982929602a6 /bin/dpr | |
| parent | Use three window mode in proof general (diff) | |
Use HDMI out on nu-home
Diffstat (limited to 'bin/dpr')
0 files changed, 0 insertions, 0 deletions