1. b1d4b1d manibuilder: Update overrides for missing libraries by Nico Huber · 1 year, 9 months ago
  2. da09599 README,manibuilder: Update environment overrides for DJGPP by Nico Huber · 1 year, 9 months ago
  3. 6f6a1c3 manibuilder: Move environment overrides into new Makefile.env by Nico Huber · 1 year, 9 months ago