log conv.txt @ 1846:695a73e060a4 default tip

age author description
Mon, 25 Jul 2022 17:31:50 -0600 Franklin Schmidt add GoodUtils.split
Mon, 25 Jul 2022 11:32:05 -0600 Franklin Schmidt rename String.rep to String.repeated