Joe DeVivo 0fe0ed6353 My git urls look like ssh://git@github.com/**/.git		2019-12-27 08:26:09 -07:00
..
scripts	My git urls look like ssh://git@github.com/**/.git	2019-12-27 08:26:09 -07:00
build.py	properly truncate mpy filenames	2019-10-15 17:28:38 -05:00
target_versions.py	Add 5.x and remove 2.x and 3.x	2019-08-22 20:59:36 -07:00