Dustin Carlino 8bc6b09b10 Upgrade to rust 1.47. No relevant changes except that stack traces hide some useless boilerplate now.		2020-10-21 10:25:55 -07:00
..
book.yml	Mechanical rename of ezgui -> widgetry, a much better name to enchant the Rust community. #253 [rebuild]	2020-08-27 10:37:04 -07:00
main.yml	Upgrade to rust 1.47. No relevant changes except that stack traces hide some useless boilerplate now.	2020-10-21 10:25:55 -07:00