Menu ▾ ▴

Diff of /trunk/php-java-bridge/java-servlet.ini [r436] .. [r437]  Maximize  Restore

Switch to side-by-side view 

--- a/trunk/php-java-bridge/java-servlet.ini
+++ b/trunk/php-java-bridge/java-servlet.ini
@@ -1,6 +1,6 @@
 ;; -*- mode: Scheme; tab-width:4 -*-
 
-;; java-servlet.ini: Activate the servlet backend
+;; java-servlet.ini: Activate the servlet back-end
 
 [java]