Dustin Carlino abf3dbc859 Don't specify a widgetry backend by default; force every user to set the feature explicitly.		2020-11-22 18:35:03 -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	Remove the old --num_agents flag, used for debugging spawning agents	2020-11-22 18:27:25 -08:00
build.rs	load different colorschemes in another way	2020-04-04 14:29:45 -07:00
Cargo.toml	Don't specify a widgetry backend by default; force every user to set the feature explicitly.	2020-11-22 18:35:03 -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