diff src/goodjava/util/LineDiff.java @ 2014:1cdc12cdcfa2 default tip

make logging more accessible
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 25 Sep 2025 23:41:41 -0600
parents 90187946d1a4
children
line wrap: on
line diff