package info
(click to toggle)
Folder: patches
![]() |
.. (parent) | |||
![]() |
- | rw-r--r-- | 775 | add-jar-manifests.patch |
![]() |
- | rw-r--r-- | 290 | backport-java8-compat.patch |
![]() |
- | rw-r--r-- | 478 | build.patch |
![]() |
- | rw-r--r-- | 1,556 | remove-troublesome-jgit-tricks.patch |
![]() |
- | rw-r--r-- | 2,397 | revert-switch-to-jprante-s-jflex-plugin.patch |
![]() |
- | rw-r--r-- | 14,305 | revert-to-old-build.gradle.patch |
![]() |
- | rw-r--r-- | 198 | series |
![]() |
- | rw-r--r-- | 217 | set-version.patch |