diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-23 00:15:30 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-23 00:15:30 -0500 |
| commit | 9678e6da76fac31f79a639b987be22322474c416 (patch) | |
| tree | 801d68b488eeda256228cb26bf107f23fbce50e6 /lib/pdf-tools | |
| parent | a219024e13f754887cbbe1481823765bc2802263 (diff) | |
| download | configs-9678e6da76fac31f79a639b987be22322474c416.tar.gz configs-9678e6da76fac31f79a639b987be22322474c416.tar.xz configs-9678e6da76fac31f79a639b987be22322474c416.zip | |
[emacs] remove pdf-tools
Diffstat (limited to 'lib/pdf-tools')
| m--------- | lib/pdf-tools | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/pdf-tools b/lib/pdf-tools deleted file mode 160000 -Subproject a4cd69ea1d50b8e74ea515eec95948ad87c6c73 |