let's not name these differently than the emig.d/ counterparts
[migration-tools.git] / emig
2020-04-10 Jason Etheridgetoward renaming mig to emig and tweaking the directory...