whisper.cpp/examples/whisper.android/.idea/misc.xml

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="ExternalStorageConfigurationManager" enabled="true" />
  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="jbr-17" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/build/classes" />
  </component>
  <component name="ProjectType">
    <option name="id" value="Android" />
  </component>
</project>
Add Android sample (#277) * Add Android sample * Use main project C files * Stop existing playback before starting new playback * Make text scrollable * Stop playback when starting to record * Remove extra var 2022-12-16 18:20:13 +01:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<project version="4">`
			`<component name="ExternalStorageConfigurationManager" enabled="true" />`
whisper.android : bump gradle plugin and dependencies + a lint pass (#1255) 2023-09-07 11:15:59 +02:00			`<component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="jbr-17" project-jdk-type="JavaSDK">`
Add Android sample (#277) * Add Android sample * Use main project C files * Stop existing playback before starting new playback * Make text scrollable * Stop playback when starting to record * Remove extra var 2022-12-16 18:20:13 +01:00			`<output url="file://$PROJECT_DIR$/build/classes" />`
			`</component>`
			`<component name="ProjectType">`
			`<option name="id" value="Android" />`
			`</component>`
			`</project>`