diff src/goodjava/io/DataInputStream.java @ 1723:0246add03d11

dont allow empty xml
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 10 Aug 2022 14:21:15 -0600
parents aaac1d29edea
children
line wrap: on
line diff