package info
(click to toggle)
Folder: patches
 |
.. (parent) | |||
 |
- | rw-r--r-- | 4,547 | add_pom_xml |
|
- | rw-r--r-- | 3,076 | correct_debian_build_properties |
|
- | rw-r--r-- | 657 | java10-compatibility.patch |
|
- | rw-r--r-- | 71 | series |
|
.. (parent) | |||
|
- | rw-r--r-- | 4,547 | add_pom_xml |
|
- | rw-r--r-- | 3,076 | correct_debian_build_properties |
|
- | rw-r--r-- | 657 | java10-compatibility.patch |
|
- | rw-r--r-- | 71 | series |