directory / @ 0:917c98981609 default tip

name size permissions
file herbie.brd 10853 -rw-r--r--
file herbie.cmp 859 -rw-r--r--
file herbie.net 809 -rw-r--r--
file herbie.pro 1493 -rw-r--r--
file herbie.sch 2741 -rw-r--r--