#55: Rename list-machine -------------------------+-------------------------------------------------- Reporter: eschnett | Owner: mthomas Type: enhancement | Status: new Priority: trivial | Milestone: Component: SimFactory | Version: Keywords: | -------------------------+-------------------------------------------------- Rename list-machine to something else, e.g. print-machine or print-mdb- entry
commits@lists.einsteintoolkit.org