log src/goodjava/lucene/logging/OpDoer.java @ 1831:8f9ae295bf6a default tip

age author description
Sun, 11 Oct 2020 17:28:16 -0600 Franklin Schmidt lucene logging