Remove readme files from ta_prog folder

CakeML · Jul 19, 2021 · b5074fb · b5074fb
1 parent 49c30a4
commit b5074fb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/pancake/ta_progs/README.md b/pancake/ta_progs/README.md
diff --git a/pancake/ta_progs/readmePrefix b/pancake/ta_progs/readmePrefix