From 66bacf33dc4e3bcd3cd373694b3d07f4d036d2d9 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Sun, 11 Dec 2022 21:20:58 +0100
Subject: Remove the useless windows configuration file

---
 src/config.w32 | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 src/config.w32

(limited to 'src')

diff --git a/src/config.w32 b/src/config.w32
deleted file mode 100644
index a0197c1..0000000
--- a/src/config.w32
+++ /dev/null
@@ -1,13 +0,0 @@
-// $Id$
-// vim:ft=javascript
-
-// If your extension references something external, use ARG_WITH
-// ARG_WITH("snuffleupagus", "for snuffleupagus support", "no");
-
-// Otherwise, use ARG_ENABLE
-// ARG_ENABLE("snuffleupagus", "enable snuffleupagus support", "no");
-
-if (PHP_SNUFFLEUPAGUS != "no") {
-	EXTENSION("snuffleupagus", "snuffleupagus.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
-}
-
-- 
cgit v1.3