window.ALL_CRATES = ["abstio","abstutil","cli","collisions","convert_osm","fifteen_min","game","geom","headless","importer","kml","map_editor","map_gui","map_model","osm_viewer","parking_mapper","piggyback","popdat","santa","sim","tests","traffic_seitan","traffic_signal_data","updater","widgetry","widgetry_demo"];