Léo Lam d9fd056803 Fix minor formatting issues
These were not caught by the lint script while it was broken.
2017-06-05 02:32:19 +02:00
..
2017-01-11 13:33:27 +01:00
2017-05-19 21:23:00 +02:00
2017-05-19 18:33:21 +02:00
2017-06-05 02:32:19 +02:00
2017-05-19 18:33:21 +02:00
2017-05-22 10:39:36 +02:00
2017-05-19 16:36:06 -06:00
2017-01-22 17:27:37 +01:00
2017-06-05 02:32:19 +02:00