2 Commits

Author	SHA1	Message	Date
abcdefg30	23b3c237b7	Update the year numbers in all license headers to 2020	2020-01-05 17:00:34 +00:00
Paul Chote	579d2c19e2	Add --check-conditional-trait-interface-overrides utility command. ... This command is used by `make check` to detect traits that incorrectly override interface methods that are required for conditions to work correctly.	2019-07-14 00:41:59 +02:00