Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[TXT]](/icons/text.gif){kind=icon} | 010_all_removeForcedFlags.patch | 2018-05-01 22:39 | 269 |
| 020_all_noExamplesOrDemo.patch | 2018-05-01 22:39 | 1.0K |
| 050_all_cxxflags.patch | 2018-05-01 22:39 | 306 |
| 060_all_linux_pulse.patch | 2023-02-13 03:10 | 1.6K |