3 commits

Author	SHA1	Message	Date
Romain Vimont	ecbe914351	Enable gradle cache ... This speeds up server builds during development.	2026-03-24 20:57:24 +01:00
Ivan Gorinov	d706c5df39	Enable video output file, with pts set by server	2018-11-11 16:30:23 +01:00
Romain Vimont	b67907e24e	Convert server to an Android project ... To simplify the device server-side build, use gradle to create an APK, even if we use it as a simple jar, by running its main() method.	2018-01-30 12:01:36 +01:00