CHANGES: reword the headers, and perform some minor cleanup.
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 21 Oct 2020 01:56:25 +0000 (21:56 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 21 Oct 2020 01:56:25 +0000 (21:56 -0400)
commit8df84c150731036ff9d771533974b0a44650b312
tree53641c703818250b398149aee261760b2f617117
parent35127e671d6cffcdc64a5d1e1d8ae70898ffc786
CHANGES: reword the headers, and perform some minor cleanup.
CHANGES