Jerome Duval 5f0372546e ninja: remove now useless patch		2021-01-28 12:37:20 +01:00
..
ninja-1.10.2.patchset	ninja: remove now useless patch	2021-01-28 12:37:20 +01:00