8 commits

Author	SHA1	Message	Date
flip1995	d2dbd0b8a5	Update *.stderr files	2018-12-28 12:41:12 +01:00
Matthias Krüger	7bcc2cd9c8	update test stderr	2018-12-10 08:22:07 +01:00
Manish Goregaokar	e9c025ea70	Add license header to Rust files	2018-10-06 09:43:08 -07:00
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