mirror of
https://github.com/graphhopper/jsprit.git
synced 2020-01-24 07:45:05 +01:00
4 lines
86 B
INI
4 lines
86 B
INI
activeProfiles=
|
|
eclipse.preferences.version=1
|
|
resolveWorkspaceProjects=true
|
|
version=1
|