From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 4 Nov 2019 14:09:31 +0000 (-0500)
Subject: mjo-misc: rename to mjo-set.
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=83458c3f65b80a7897ced0553804b38f4872fcb6;hp=83458c3f65b80a7897ced0553804b38f4872fcb6;p=mjotex.git

mjo-misc: rename to mjo-set.
---