Added PyPortal Pynt alias

2019-12-11 11:41:10 -08:00 · 2019-12-11 11:41:10 -08:00 · d67a9a8271
commit d67a9a8271
parent ce8d400819
1 changed files with 1 additions and 0 deletions
--- a/tools/build_board_info.py
+++ b/tools/build_board_info.py
@ -49,6 +49,7 @@ extension_by_board = {
 aliases_by_board = {
    "circuitplayground_express": ["circuitplayground_express_4h", "circuitplayground_express_digikey_pycon2019"],
    "pybadge": ["edgebadge"],
+    "pyportal": ["pyportal_pynt"],
    "gemma_m0": ["gemma_m0_pycon2018"],
    "pewpew10": ["pewpew13"]
 }