]> gitweb.factorcode.org Git - factor.git/commitdiff
projects / factor.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8a1b1c8)
pcre: remove platforms.txt it works on windows too.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 20 Nov 2013 22:55:09 +0000 (14:55 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 20 Nov 2013 22:55:09 +0000 (14:55 -0800)
extra/pcre/platforms.txt [deleted file] patch | blob | history

diff --git a/extra/pcre/platforms.txt b/extra/pcre/platforms.txt
deleted file mode 100644 (file)
index 509143d..0000000
--- a/extra/pcre/platforms.txt
+++ /dev/null
@@ -1 +0,0 @@
-unix
Factor programming language