diff --git a/collects/texpict/main.ss b/collects/texpict/main.ss deleted file mode 100644 index 22b0c16241..0000000000 --- a/collects/texpict/main.ss +++ /dev/null @@ -1,4 +0,0 @@ -#lang scheme/base - -(require "texpict.ss") -(provide (all-from-out "texpict.ss"))