HomePhabricator

remove wikimgnt (#320)

Description

remove wikimgnt (#320)

  • build: undeploy wikimgnt
  • Delete wikimgnt.py

Details

Provenance
RhinosF1Authored on Wed, Oct 7, 3:37 PM
MirahezeBotCommitted on Wed, Oct 7, 3:37 PM
Parents
rMBS8fd92028ad4e: build: include adminlist (#318)
Branches
Unknown
Tags
Unknown