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
interface.cc
jump_distance_widget.cc
jump_distance_widget.h
wscript