diff options
author | Amin Bandali <amin@gnu.org> | 2018-08-22 00:38:35 -0400 |
---|---|---|
committer | Amin Bandali <amin@gnu.org> | 2018-08-22 00:38:35 -0400 |
commit | c0f95448c2d4b0f22c7cc69dc056c7e24ee29f39 (patch) | |
tree | ed38cb9cc8115dc361fa3cff035d340d41ca6c07 /lib/pdf-tools | |
parent | 71668c8969f92f48d27dcb6fd8a5f1b1db5e0fd0 (diff) | |
download | configs-c0f95448c2d4b0f22c7cc69dc056c7e24ee29f39.tar.gz configs-c0f95448c2d4b0f22c7cc69dc056c7e24ee29f39.tar.xz configs-c0f95448c2d4b0f22c7cc69dc056c7e24ee29f39.zip |
[emacs] remove Org html export related stuff
might want to bring some back later again
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions