lang/plantuml: change mirror for +plantuml/install

This is the one they currently redirect to.

Fixes #1637.
This commit is contained in:
Oleksii Filonenko 2019-08-06 10:21:03 +03:00
parent 6647ebc736
commit 042cf5ae43
No known key found for this signature in database
GPG Key ID: F3510FE5691629A1

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)))