log src/goodjava/io/DataInputStream.java @ 1860:bcb015265c21 default tip

age author description
2020-05-03 Franklin Schmidt better io