ShadowNinja b4eb614d31 Android: Fix extra files being copied to the APK ... dcb91cf0c0 hacked around the biggest issue this caused, but wasted a lot of CPU time and disk space It also still included a lot of other unwanted files. This removes all of `doc/` except the license, and also removes the server list.		2015-12-20 12:48:55 +01:00
..
android	Android: Fix extra files being copied to the APK	2015-12-20 12:48:55 +01:00