Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 17-Nov-2019 20:00 -
![[ ]](/icons/compressed.gif){kind=icon}
mcu8051ide_1.4.7-2.d..> 05-May-2014 01:28 6k
![[TXT]](/icons/text.gif){kind=icon}
mcu8051ide_1.4.7-2.dsc 05-May-2014 01:28 2k
mcu8051ide_1.4.7-2_a..> 05-May-2014 01:28 3.9M
mcu8051ide_1.4.7.ori..> 29-Apr-2013 21:33 5.2M
![[ ]](/icons/unknown.gif){kind=icon}
mcu8051ide_1.4.9-1.d..> 08-May-2018 17:22 8k
mcu8051ide_1.4.9-1.dsc 08-May-2018 17:22 2k
mcu8051ide_1.4.9-1_a..> 08-May-2018 18:28 4.3M
mcu8051ide_1.4.9.ori..> 08-May-2018 17:22 5.7M