[config.w32] Warn that propro was discontinued

[m6w6/ext-propro] / .gitignore

diff --git a/.gitignore b/.gitignore
index 39fd0d82c86f831262c480777a3b7b577a74f953..a11c9e4b6d65883c804f2f9cb46341b03fbe05d2 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -24,3 +24,4 @@ run-tests.php
 .libs/
 /php_propro_api.h
 /Doxyfile.bak
+!/Makefile.frag