Package: jhighlight / 1.0-3.1
Metadata
Package | Version | Patches format |
---|---|---|
jhighlight | 1.0-3.1 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
01 generate highlighter.patch | (download) |
build.xml |
8 8 + 0 - 0 ! |
generate the c++ and groovy highlighters from the flex files |
02 servlet 3.1 compatibility.patch | (download) |
src/com/uwyn/jhighlight/servlet/HighlightFilter.java |
8 8 + 0 - 0 ! |
fixes the compatibility with the servlet api 3.1 |
jflex 1.6.1.patch | (download) |
build.xml |
2 1 + 1 - 0 ! |
jflex 1.6.1 Fix FTBFS by adjusting the jflex classname |
1