760970d Use sed instead of patches for tomcat version numbers.

Authored and Committed by Ben Konrath 17 years ago
    Use sed instead of patches for tomcat version numbers.
    
        
file modified
+0 -67
file modified
+8 -5