Replace use of exec_tools with semantically-identical tools.#1925
Merged
avdv merged 1 commit intotweag:masterfrom katre:remove-exec-toolsAug 3, 2023
+1-1
exec_tools with semantically-identical tools.#1925
