~mil/nominatim-gui-scripts

e7c85286Miles Alan Use kill $$ to terminate program rather then killing gtk-server-gtk3 1 year, 5 months ago
-rw-r--r--
878 bytes
-rwxr-xr-x
5.2 KiB