cswimr 287c245394 remove dev alias		2024-12-30 12:02:15 -05:00
..
aliases.py	remove dev alias	2024-12-30 12:02:15 -05:00
colors.py	improve the vm alias	2024-11-27 13:12:29 -05:00