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 /.gitignore | |
| parent | d3ce35806feebe6094dd922fab6ac39a3b236caf (diff) | |
| download | configs-a25e56597e6ad13f174ae0ecaee4ab31c072aab2.tar.gz configs-a25e56597e6ad13f174ae0ecaee4ab31c072aab2.tar.xz configs-a25e56597e6ad13f174ae0ecaee4ab31c072aab2.zip | |
[emacs] some pdf-tools customizations
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions