package info
(click to toggle)
Folder: patches
| .. (parent) | ||||
| - | rwxr-xr-x | 923 | add_classpath_to_manifest | |
| - | rwxr-xr-x | 1,153 | fix_set_encoding | |
| - | rw-r--r-- | 451 | remove-date-from-manifest.patch | |
| - | rw-r--r-- | 706 | remove-timestamp-from-javadoc.patch | |
| - | rw-r--r-- | 181 | series | |
| - | rw-r--r-- | 8,671 | servlet-api-compatibility.patch | |
| - | rw-r--r-- | 1,096 | source-encoding.patch | |
| - | rwxr-xr-x | 1,088 | use_system_jars |
