diff options
author | Gary E. Miller <gem@rellim.com> | 2018-10-01 17:38:54 -0700 |
---|---|---|
committer | Gary E. Miller <gem@rellim.com> | 2018-10-01 17:38:54 -0700 |
commit | b5de89b6a14fa50710e39e10e48a7a633cf43fe3 (patch) | |
tree | 87f98df44228653ca157977043ff3626a83e6af5 /contrib/webgps.py | |
parent | 41de45a3cff9412d272a023a3828503a2edeb798 (diff) | |
download | gpsd-b5de89b6a14fa50710e39e10e48a7a633cf43fe3.tar.gz |
Python clients: Opps 3.18~dev, not 3.18-dev.
A tilda, not a dash.
Diffstat (limited to 'contrib/webgps.py')
-rwxr-xr-x | contrib/webgps.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/webgps.py b/contrib/webgps.py index 3a1f23bc..5602d53d 100755 --- a/contrib/webgps.py +++ b/contrib/webgps.py @@ -47,7 +47,7 @@ import time from gps import * -gps_version = '3.18-dev' +gps_version = '3.18~dev' if gps.__version__ != gps_version: sys.stderr.write("webgps.py: ERROR: need gps module version %s, got %s\n" % (gps_version, gps.__version__)) |