Filename Modification time Size beos-def.mk 2018-05-10 05:01 CEST 1706 B beos.mk 2018-05-10 05:01 CEST 569 B detect.mk 2018-05-10 05:01 CEST 781 B