3 Commits

Include renames

Author	SHA1	Message	Date
rob	54c8d79403	make backup-boogie.sh excecutable	2023-10-04 09:43:37 +02:00
Robert Wartenberg	32e2daf666	add: backup script for boogie	2023-10-04 09:21:03 +02:00
Robert Wartenberg	17494e3afb	add first draft boogie backup scripts	2023-10-04 08:03:44 +02:00