Age | Commit message (Expand) | Author |
---|---|---|
2018-06-16 | micropolis: remove | Jörg Thalheim |
2017-02-28 | micropolis: fix build (patch changed) | Tristan Helmich |
2016-10-04 | Replace hard coded /bin/bash occurrences | Markus Hauck |
2015-10-14 | xorg: split outputs of various libs | Vladimír Čunát |
2015-08-24 | micropolis: fix patch hash, probably updated | Vladimír Čunát |
2010-07-28 | * More cleanup. | Eelco Dolstra |
2008-08-06 | Added: | Marc Weber |