3 commits

Author	SHA1	Message	Date
swrup	42b7e13eae	dbinit.sh: use git tag	2026-07-03 19:53:24 +02:00
swrup	9c9414e96b	update offline tool; fix dune-workspace	2026-07-03 19:53:23 +02:00
swrup	a6a80b3dcf	add dbinit.sh	2026-07-03 19:53:23 +02:00