remove history-wrecking script

mdaus · Sep 20, 2024 · e1b9aa8 · e1b9aa8
1 parent b9513b4
commit e1b9aa8
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/copy_externals.csh b/copy_externals.csh