4 commits

Author	SHA1	Message	Date
joachimschmidt557	f78a0aea73	manage.sh: fix handling of file names containing spaces	2025-11-18 16:13:07 +01:00
joachimschmidt557	2ed0a412a8	manage.sh: add warnings for nonexistent sources	2024-01-20 23:38:37 +01:00
joachimschmidt557	28d59a7c0e	manage.sh: add help	2023-08-22 14:00:18 +02:00
joachimschmidt557	8c04c598ee	introduce new bindings format and manage.sh shell script	2023-04-09 00:00:51 +02:00