Merge pull request #553 from molgenis/bug/remove-zsh-scripts

Remove .zsh scripts
molgenis · Nov 16, 2023 · 0e9d283 · 0e9d283
2 parents 0c821e8 + 8b07a8a
commit 0e9d283
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 243 deletions.
diff --git a/scripts/ops/armadilloctl.zsh b/scripts/ops/armadilloctl.zsh
diff --git a/scripts/ops/test_armadilloctl.zsh b/scripts/ops/test_armadilloctl.zsh