add geoserver time format

wangzhibo

2021-09-26 5ba92069f66278baf9d019f02c361e1817291ee4

1
define(["exports"],function(e){"use strict";var r=Object.freeze({NONE:0,GEODESIC:1,RHUMB:2});e.ArcType=r});