log src/goodjava/lucene/api/LuceneIndexWriter.java @ 1831:8f9ae295bf6a default tip

age author description
Thu, 09 Jun 2022 19:44:41 -0600 Franklin Schmidt unlogged lucene support
Sun, 20 Sep 2020 20:36:55 -0600 Franklin Schmidt add lucene log tag and restore_from_log