e482093832
In order to circumvent the usage quota of Google Maps the map provider was changed to be MapBox now. Additionally the maps implementation was refactored to be better extendable in future.
19 lines
696 B
XML
19 lines
696 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="GradleMigrationSettings" migrationVersion="1" />
|
|
<component name="GradleSettings">
|
|
<option name="linkedExternalProjectsSettings">
|
|
<GradleProjectSettings>
|
|
<option name="externalProjectPath" value="$PROJECT_DIR$" />
|
|
<option name="gradleJvm" value="#GRADLE_LOCAL_JAVA_HOME" />
|
|
<option name="modules">
|
|
<set>
|
|
<option value="$PROJECT_DIR$" />
|
|
<option value="$PROJECT_DIR$/app" />
|
|
</set>
|
|
</option>
|
|
<option name="resolveExternalAnnotations" value="false" />
|
|
</GradleProjectSettings>
|
|
</option>
|
|
</component>
|
|
</project> |