Remove duplicate settings/toolchain

ultimate-pa · Feb 28, 2024 · 19bace1 · 19bace1
1 parent 53c8dc5
commit 19bace1
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 13 deletions.
diff --git a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml b/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml
diff --git a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf b/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf