diff --git a/collects/teachpack/htdc/Docs/foot.tinc b/collects/teachpack/htdc/Docs/foot.tinc deleted file mode 100644 index 454bc56343..0000000000 --- a/collects/teachpack/htdc/Docs/foot.tinc +++ /dev/null @@ -1,4 +0,0 @@ - - -