5 Commits

Include renames

Author	SHA1	Message	Date
gnembon	55065a38a6	moved CarpetSettings up from settings manager, should be easier to find later.	2019-12-10 23:08:40 -04:00
gnembon	b52b5c335f	ops options for commands	2019-12-01 01:04:58 -04:00
gnembon	cd4ae14448	1.14.4pre1	2019-07-03 16:38:12 -03:00
gnembon	734dc95dab	settings ported to the annotation based system	2019-06-11 23:01:09 -03:00
gnembon	9cf9928bbd	two last commands from 1.13.2	2019-05-13 08:23:23 -03:00