5 Commits

Author	SHA1	Message	Date
flip1995	e9af09c274	Adapt the *.stderr files of the ui-tests to the tool_lints	2018-08-29 11:08:29 -07:00
Michael Wright	79c6c60f51	Added further tests	2018-01-19 08:10:09 +02:00
Michael Wright	d13af87d8a	Fixed tests	2018-01-18 07:48:03 +02:00
Michael Wright	e7567f2eac	Made requested changes	2018-01-17 07:24:33 +02:00
Michael Wright	6737bae9b1	Implemented option_option lint	2017-12-26 09:24:12 +02:00