Paul Davis 47767738b9 rename DoTheRightThing to RollIfAppropriate		2020-01-18 08:49:18 -07:00
..
basic_ui.h	rename DoTheRightThing to RollIfAppropriate	2020-01-18 08:49:18 -07:00
control_protocol.h	NO-OP: whitespace	2019-09-06 20:43:20 +02:00
types.h	Update plugins/addons GPL boilerplate and (C) from git log	2019-08-03 15:53:18 +02:00
visibility.h	Update plugins/addons GPL boilerplate and (C) from git log	2019-08-03 15:53:18 +02:00