diff src/goodjava/logger/Level.java @ 1999:dd9696f18b62 default tip

improve why.html
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 12 Jul 2025 23:54:22 -0600
parents dd14d2dce7ee
children
line wrap: on
line diff