Add dev.py
implementing dev command shorthands
#4544
Loading
dev.py
implementing dev command shorthands
#4544