chiark / gitweb /
commands: Move MGI etc. into prelude
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 18 May 2021 00:26:40 +0000 (01:26 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 18 May 2021 00:26:51 +0000 (01:26 +0100)
commita1e6b5e2cc1c9d2fc2ca91ead91feb03e3c8e4bc
treeb76657b553c73247c033bb4d926a6e5bceeed5c2
parentee4bbc9fbb9abe05ab6cf28682166bf7ec7db39c
commands: Move MGI etc. into prelude

apitest wants them.  Not sure why this wasn't global before.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/commands.rs
src/prelude.rs