diff options
| author | jao <jao@gnu.org> | 2021-06-07 04:56:03 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-06-07 04:56:03 +0100 |
| commit | c67a7d152e14960283d65b6ca457ca25a86b0f10 (patch) | |
| tree | 3ebe495b4ecf2d81c1bcf9d12445dd46feda39ab /lib/prog/jao-vterm-repl.el | |
| parent | df8ec83647c93e5a6dec911fc7278d6b63202f97 (diff) | |
| download | elibs-c67a7d152e14960283d65b6ca457ca25a86b0f10.tar.gz elibs-c67a7d152e14960283d65b6ca457ca25a86b0f10.tar.bz2 | |
we don't really need pdf-tools, and it's playing tricks with scrolling
Diffstat (limited to 'lib/prog/jao-vterm-repl.el')
0 files changed, 0 insertions, 0 deletions