Filename Modification time Size detect.mk 2018-05-10 05:01 CEST 1541 B os2-def.mk 2018-05-10 05:01 CEST 1020 B os2-dev.mk 2018-05-10 05:01 CEST 750 B os2-gcc.mk 2018-05-10 05:01 CEST 670 B