Dustin Carlino 607a8757dd Use widgetry to handle quitting things, so we don't just blow up on the ... web.		2020-12-11 13:18:20 -08:00
..
pkg	Add a favicon to the web deployment, mostly to stop an error in the devconsole	2020-11-14 10:51:33 -08:00
src	Use widgetry to handle quitting things, so we don't just blow up on the	2020-12-11 13:18:20 -08:00
build.rs	load different colorschemes in another way	2020-04-04 14:29:45 -07:00
Cargo.toml	Wire together a UI to generate census-based scenarios	2020-12-10 09:35:50 -08:00
compare_screencaps.sh	Also organize screenshots by city. #326	2020-11-05 14:42:40 -08:00
confirm_screencap.sh	Also organize screenshots by city. #326	2020-11-05 14:42:40 -08:00
index.html	Fix content type on the html web runner page. Without this, initially	2020-10-31 18:37:46 -07:00
run_web.sh	On the web, load different maps by making asynchronous HTTP calls. #21 (#364)	2020-10-08 10:51:13 -07:00