package info
(click to toggle)
Folder: patches
![]() |
.. (parent) | |||
![]() |
- | rw-r--r-- | 1,976 | build_xml.patch |
![]() |
- | rw-r--r-- | 1,881 | encoding.patch |
![]() |
- | rw-r--r-- | 516 | follow_hint_from_README.patch |
![]() |
- | rw-r--r-- | 770 | ignore_fest_tests.patch |
![]() |
- | rw-r--r-- | 55 | series |