package info
(click to toggle)
Folder: patches
 |
.. (parent) | |||
 |
- | rw-r--r-- | 480 | build.patch |
|
- | rw-r--r-- | 2,191 | remove-troublesome-jgit-tricks.patch |
|
- | rw-r--r-- | 2,411 | revert-switch-to-jprante-s-jflex-plugin.patch |
|
- | rw-r--r-- | 95 | series |