Tom Wiesing 86a4334796 Remove embed package ... This commit finally removes the embed package in favor of more specific resource packages		2022-09-11 17:00:34 +02:00
..
create_adapter.php	Remove embed package	2022-09-11 17:00:34 +02:00
export_pathbuilder.php	Remove embed package	2022-09-11 17:00:34 +02:00
list_uri_prefixes.php	Remove embed package	2022-09-11 17:00:34 +02:00
set_trusted_host.sh	Remove embed package	2022-09-11 17:00:34 +02:00
settings_php_get.sh	Remove embed package	2022-09-11 17:00:34 +02:00
settings_php_set.sh	Remove embed package	2022-09-11 17:00:34 +02:00