Rémi Verschelde bf5b02cb71 Merge pull request #10832 from Paulb23/auto_indent_setting
Added setting to toggle auto indent.
2017-09-01 08:14:47 +02:00
..
2017-08-27 22:13:45 +02:00
2017-08-30 21:20:02 +02:00
2017-08-27 22:13:45 +02:00
2017-08-27 22:13:45 +02:00
2017-08-30 21:44:48 +02:00
2017-08-27 22:13:45 +02:00
2017-08-27 22:13:45 +02:00
2017-08-27 23:05:39 +02:00