remove old bash script

calyxir · Dec 4, 2024 · d883772 · d883772
1 parent 858e5f8
commit d883772
Showing 1 changed file with 0 additions and 101 deletions.
diff --git a/tools/profiler/new-profiler-approach.sh b/tools/profiler/new-profiler-approach.sh