2014-08-03 10:35:39 +00:00
|
|
|
EXTRA_DIST = \
|
2015-05-05 08:08:18 +00:00
|
|
|
build.gradle \
|
|
|
|
gradlew \
|
|
|
|
gradlew.bat \
|
|
|
|
README.md \
|
|
|
|
settings.gradle \
|
|
|
|
app/build.gradle \
|
|
|
|
app/src/main/AndroidManifest.xml \
|
|
|
|
app/src/main/java/org/freedesktop/gstreamer/Player.java \
|
|
|
|
app/src/main/java/org/freedesktop/gstreamer/player/GStreamerSurfaceView.java \
|
|
|
|
app/src/main/java/org/freedesktop/gstreamer/player/Play.java \
|
|
|
|
app/src/main/java/org/freedesktop/gstreamer/player/VideoSelector.java \
|
|
|
|
app/src/main/jni/Android.mk \
|
|
|
|
app/src/main/jni/Application.mk \
|
|
|
|
app/src/main/jni/player.c \
|
|
|
|
app/src/main/res/layout/activity_player.xml \
|
|
|
|
app/src/main/res/layout/activity_video_selector.xml \
|
|
|
|
app/src/main/res/menu/menu_video_selector.xml \
|
|
|
|
app/src/main/res/values/dimens.xml \
|
|
|
|
app/src/main/res/values/strings.xml \
|
|
|
|
app/src/main/res/values/styles.xml \
|
|
|
|
app/src/main/res/values-w820dp/styles.xml \
|
|
|
|
gradle/wrapper/gradle-wrapper.jar \
|
|
|
|
gradle/wrapper/gradle-wrapper.properties
|