Bump :tools pdf
flatwhatson/pdf-tools@eb6d406 -> vedang/pdf-tools@35e12b0 The original politza/pdf-tools is no longer maintained (?), and the PR we were pullin from has been merged into a new, maintained fork at vedang/pdf-tools. Might address #4750
This commit is contained in:
parent
a863fe89d0
commit
fe6981b245
1 changed files with 2 additions and 5 deletions
|
@ -2,10 +2,7 @@
|
||||||
;;; tools/pdf/packages.el
|
;;; tools/pdf/packages.el
|
||||||
|
|
||||||
(package! pdf-tools
|
(package! pdf-tools
|
||||||
;; REVIEW waiting on politza/pdf-tools#588
|
:recipe (:host github :repo "vedang/pdf-tools") ; active fork
|
||||||
:recipe (:host github
|
:pin "35e12b0813e86c2e15793e75a1f8649fe7ab909e")
|
||||||
:repo "flatwhatson/pdf-tools"
|
|
||||||
:branch "fix-macros")
|
|
||||||
:pin "eb6d40663069f2b7e6b52e907eeaa4e37375feb6")
|
|
||||||
|
|
||||||
(package! saveplace-pdf-view :pin "54ed966b842501c3c092dbf57b372e37b033c578")
|
(package! saveplace-pdf-view :pin "54ed966b842501c3c092dbf57b372e37b033c578")
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue