diff src/goodjava/logger/Level.java @ 1723:0246add03d11

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