Merge PR #248: Remove All.ns

smarr · May 6, 2018 · 7a152c4 · 7a152c4
2 parents 385926d + 4024d52
commit 7a152c4
Showing 1 changed file with 0 additions and 140 deletions.
diff --git a/core-lib/Benchmarks/All.ns b/core-lib/Benchmarks/All.ns