Paul Davis 47767738b9 rename DoTheRightThing to RollIfAppropriate		2020-01-18 08:49:18 -07:00
..
button_config_widget.cc
button_config_widget.h
contourdesign_gui.cc
contourdesign.cc	rename DoTheRightThing to RollIfAppropriate	2020-01-18 08:49:18 -07:00
contourdesign.h	Fix deprecated-copy warnings	2019-12-09 23:25:59 +01:00
interface.cc
jump_distance_widget.cc
jump_distance_widget.h
wscript