Romain Vimont 74d32e612d Terminate loop explicitly on interrupted ... Make explicit that the loop terminates when the current thread is interrupted.		2023-01-27 22:20:35 +01:00
..
scripts	Use "/usr/bin/env bash" for build-wrapper.sh	2020-09-15 13:44:02 +02:00
src	Terminate loop explicitly on interrupted	2023-01-27 22:20:35 +01:00
.gitignore	Convert server to an Android project	2018-01-30 12:01:36 +01:00
build.gradle	Bump version to 1.25	2022-12-22 12:33:29 +01:00
build_without_gradle.sh	Support Java lambdas in build_without_gradle.sh	2023-01-27 22:08:25 +01:00
meson.build	Remove deprecated meson.source_root()	2022-08-28 15:16:31 +02:00
proguard-rules.pro	Convert server to an Android project	2018-01-30 12:01:36 +01:00