From 2f2242a1a32a702989daf5ab8e58ff06c12f8e36 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Wed, 20 Feb 2008 23:14:15 -0600 Subject: [PATCH] Remove obsolete file --- extra/tools/walker/interpreter-docs.factor | 1 - 1 file changed, 1 deletion(-) delete mode 100755 extra/tools/walker/interpreter-docs.factor diff --git a/extra/tools/walker/interpreter-docs.factor b/extra/tools/walker/interpreter-docs.factor deleted file mode 100755 index 8b13789179..0000000000 --- a/extra/tools/walker/interpreter-docs.factor +++ /dev/null @@ -1 +0,0 @@ -