directory /tools/ @ 624:7bdcc591196c

name size permissions
[up] drwxr-xr-x
file crop_hwos_hex.bat 235 -rw-r--r--
file crop_ostc3_hex.bat 235 -rw-r--r--
file dev_ostc3_firmware.hex 307256 -rw-r--r--
file srec_cat.exe 3001020 -rw-r--r--