diff options
author | Amin Bandali <bandali@gnu.org> | 2018-10-31 11:55:59 -0400 |
---|---|---|
committer | Amin Bandali <bandali@gnu.org> | 2018-10-31 11:55:59 -0400 |
commit | a25e56597e6ad13f174ae0ecaee4ab31c072aab2 (patch) | |
tree | 20237d0def7cc16764afbf6dd0221df4450f4a2b /lib/git-modes | |
parent | d3ce35806feebe6094dd922fab6ac39a3b236caf (diff) | |
download | configs-a25e56597e6ad13f174ae0ecaee4ab31c072aab2.tar.gz configs-a25e56597e6ad13f174ae0ecaee4ab31c072aab2.tar.xz configs-a25e56597e6ad13f174ae0ecaee4ab31c072aab2.zip |
[emacs] some pdf-tools customizations
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions