search

GenericMappingTools / gmtserver-admin

Cache data and script for managing the GMT data server
GNU Lesser General Public License v3.0
7 stars 3 forks source link

Make sure filenames are integer resolution only #200

Closed PaulWessel closed 1 year ago

PaulWessel commented 1 year ago

Not things like pluto_relief_52.123123232s