directory /tools/ @ 631:185ba2f91f59

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--