schtobia/greasemonkey
1
0
Fork 0
Code Issues Pull requests Activity

Update openstreetmap_geouri.user.js

Browse source
This commit is contained in:
Tobias Schmidl 2016-11-28 17:13:31 +01:00 committed by GitHub
parent 17ce1ca924
commit 6f95b0a695
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
openstreetmap_geouri.user.js
View file

@ -3,7 +3,7 @@
// @namespace https://www.schtobia.de/ // @namespace https://www.schtobia.de/
// @include https://www.openstreetmap.org/* // @include https://www.openstreetmap.org/*
// @description OpenStreetmap GeoURI Handler // @description OpenStreetmap GeoURI Handler
// @version 0.1.7 // @version 0.1.8
// @grant GM_getValue // @grant GM_getValue
// @grant GM_listValues // @grant GM_listValues
// @downloadURL https://github.com/schtobia/github-solarized/raw/master/openstreetmap_geouri.user.js // @downloadURL https://github.com/schtobia/github-solarized/raw/master/openstreetmap_geouri.user.js