Merge pull request #1639 from filalex77/fix-plantuml-install-mirror

lang/plantuml: change mirror for +plantuml/install
This commit is contained in:
Henrik Lissner 2019-08-06 14:19:34 -04:00 committed by GitHub
commit 9bbcf538c9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,5 +6,5 @@
(interactive)
(if (file-exists-p plantuml-jar-path)
(user-error "plantuml.jar already installed")
(url-copy-file "https://kent.dl.sourceforge.net/project/plantuml/plantuml.jar"
(url-copy-file "https://datapacket.dl.sourceforge.net/project/plantuml/plantuml.jar"
plantuml-jar-path)))