Torsten Schulz (local) 6e9116e819 Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

..

gtr.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

intersects.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

ltr.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

max-satisfying.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

min-satisfying.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

min-version.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

outside.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

simplify.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

subset.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

to-comparators.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00

valid.js

Remove deprecated scripts for adding head-matter to wt_config.xml, including Python and Bash implementations, to streamline configuration management.

2025-12-04 16:34:45 +01:00