X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ef5ad69ab6c5c1d749591a6955dad38d783ac0a4..37051a6c6eec6662c44658e5e12a5e5b8f98a576:/lib/apache.dtl

diff --git a/lib/apache.dtl b/lib/apache.dtl
index 98dca55..c8fc51c 100644
--- a/lib/apache.dtl
+++ b/lib/apache.dtl
@@ -34,7 +34,6 @@ extern val no_ssl : ssl;
 extern val use_cert : ssl_cert_path -> ssl;
 
 extern type php_version;
-extern val php4 : php_version;
 extern val php5 : php_version;
 
 extern val vhost : host -> Vhost => [Domain]