diff options
| author | Amin Bandali <mab@gnu.org> | 2018-10-09 22:37:48 -0400 |
|---|---|---|
| committer | Amin Bandali <mab@gnu.org> | 2018-10-09 22:37:48 -0400 |
| commit | 523e4f87747e95345b312e35e27bbbc99447c662 (patch) | |
| tree | 1f693f3be78676539f806460eff479d51b95555d /lib/shell-pop | |
| parent | be82bec645ae5cfc0b41e7ca8244085772edd8ea (diff) | |
| download | configs-523e4f87747e95345b312e35e27bbbc99447c662.tar.gz configs-523e4f87747e95345b312e35e27bbbc99447c662.tar.xz configs-523e4f87747e95345b312e35e27bbbc99447c662.zip | |
[emacs] gentler font resizing
Diffstat (limited to 'lib/shell-pop')
0 files changed, 0 insertions, 0 deletions