remove scripts used to add license info

GaloisInc · Sep 15, 2023 · 294fd68 · 294fd68
1 parent e5f48aa
commit 294fd68
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 8 deletions.
diff --git a/add_license.bash b/add_license.bash
diff --git a/copyright.txt b/copyright.txt