[Pancake] Remove docs sub-directory (hopefully fixes regression error).

CakeML · May 31, 2022 · 3cd4635 · 3cd4635
1 parent 90d5742
commit 3cd4635
Showing 1 changed file with 0 additions and 44 deletions.
diff --git a/pancake/docs/write.pk b/pancake/docs/write.pk