Separate building play_routes to a helper to allow remote builds#39

Merged

SrodriguezO merged 2 commits intolucidsoftware:masterfrom typedb:fix-remotely-building-play-routes

Jul 24, 2020

+40-17

Commits on Jul 14, 2020

Separate building play_routes to a helper to allow remote builds
vmax
committed

Commits on Jul 15, 2020

Update play-routes/play-routes-helper.sh

vmax
and
DavidANeil
authored