w0rp 478c32f85d Fix #42, where some linting isn't run when opening some files.		2016-10-06 11:02:43 +01:00
..
ale	Fix #42, where some linting isn't run when opening some files.	2016-10-06 11:02:43 +01:00