diff --git a/extra/benchmark/fannkuch/fannkuch.factor b/extra/benchmark/fannkuch/fannkuch.factor deleted file mode 100644 index 8b13789179..0000000000 --- a/extra/benchmark/fannkuch/fannkuch.factor +++ /dev/null @@ -1 +0,0 @@ -