diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-08-30 18:58:13 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-08-30 19:06:36 -0400 |
| commit | 822ac360f8ec3f376b5ba0db6510160d836ac913 (patch) | |
| tree | 4d6938c8bea2d139bb9df7ad37f7237b6f76ed17 /.config/profiles | |
| parent | 0758ec382db1a5e1e145e3e9dbf7dfe796e4f10a (diff) | |
| download | configs-822ac360f8ec3f376b5ba0db6510160d836ac913.tar.gz configs-822ac360f8ec3f376b5ba0db6510160d836ac913.tar.xz configs-822ac360f8ec3f376b5ba0db6510160d836ac913.zip | |
emacs: pdf-tools: convenient history bindings, more gentle resizing
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions