From d87262dd706fec50cd150aab3e93883b6337466d Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 20:56:41 +0100 Subject: gentoo resync : 14.07.2018 --- app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 app-emacs/proofgeneral/files/50proofgeneral-gentoo.el (limited to 'app-emacs/proofgeneral/files/50proofgeneral-gentoo.el') diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el deleted file mode 100644 index 4839b17f1f58..000000000000 --- a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el +++ /dev/null @@ -1,2 +0,0 @@ -(add-to-list 'load-path "@SITELISP@/generic") -(require 'proof-site) -- cgit v1.2.3