remove the unused old/ folder

project-everest · Nov 13, 2023 · 0f303a5 · 0f303a5
1 parent afc9452
commit 0f303a5
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 288 deletions.
diff --git a/steel/crypto/old/Veritas.HashAccumulator.fst b/steel/crypto/old/Veritas.HashAccumulator.fst
diff --git a/steel/crypto/old/Veritas.HashAccumulator.fsti b/steel/crypto/old/Veritas.HashAccumulator.fsti