From 9678e6da76fac31f79a639b987be22322474c416 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sun, 23 Dec 2018 00:15:30 -0500
Subject: [emacs] remove pdf-tools

---
 lib/pdf-tools | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 lib/pdf-tools

(limited to 'lib/pdf-tools')

diff --git a/lib/pdf-tools b/lib/pdf-tools
deleted file mode 160000
index a4cd69e..0000000
--- a/lib/pdf-tools
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit a4cd69ea1d50b8e74ea515eec95948ad87c6c732
-- 
cgit v1.2.3-60-g2f50