diff options
author | jwhendy | 2019-07-03 22:09:48 -0500 |
---|---|---|
committer | jwhendy | 2019-07-03 22:09:48 -0500 |
commit | aeccc67d122271e162bc316b71a6545a5be5b283 (patch) | |
tree | ffded7f9ee0e3b5a3aaff9a6bae033ad6822d4e8 /PKGBUILD | |
parent | 897e346a622474158b57e6f3e2f944bad2b3fc10 (diff) | |
download | aur-aeccc67d122271e162bc316b71a6545a5be5b283.tar.gz |
updated URL
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ # Maintainer: Timon Engelke <aur@timonengelke.de> pkgdesc="ROS - map_server provides the map_server ROS Node, which offers map data as a ROS Service." -url='http://wiki.ros.org/map_server' +url='https://wiki.ros.org/map_server' pkgname='ros-melodic-map-server' pkgver='1.16.2' |