Add dev.py implementing dev command shorthands
#4527
| Job | Run time |
|---|---|
| 54s | |
| 54s |
dev.py implementing dev command shorthands
#4527
| Job | Run time |
|---|---|
| 54s | |
| 54s |