4 commits

Author	SHA1	Message	Date
vcoppe	71889ba9fd	add gravel private profile and update jar version	2024-07-23 18:28:20 +02:00
vcoppe	81b27b3199	fallback to reset_segments if failed from diff	2022-11-02 15:04:50 +01:00
vcoppe	6794ef320e	use bash for scripts	2022-04-14 13:50:52 +02:00
vcoppe	ffba802c9c	scripts to handle diff updates	2022-02-11 21:41:01 +01:00