Add dev.py implementing dev command shorthands
#2
| Job | Run time |
|---|---|
| 2m 42s | |
| 2m 42s |
dev.py implementing dev command shorthands
#2
| Job | Run time |
|---|---|
| 2m 42s | |
| 2m 42s |