Tom Wiesing 394e87806c Add patch_easyrdf.sh		2020-10-08 15:07:24 +02:00
..
blind_update.sh	Add utility scripts	2020-10-08 14:59:22 +02:00
patch_easyrdf.sh	Add patch_easyrdf.sh	2020-10-08 15:07:24 +02:00
set_trusted_host.sh	Add utility scripts	2020-10-08 14:59:22 +02:00