Richard Berger
f25b06fab0
Fixes part of issue #1278
Moving a style header or touching it will now trigger a reconfiguration before
building, which triggers style files to be regenerated.
2019-02-17 20:53:21 -05:00
..
2017-07-14 15:55:36 -06:00
2018-05-10 16:11:10 -06:00
2017-07-16 20:17:41 -06:00
2017-09-13 15:51:03 -06:00
2017-07-19 10:35:48 -06:00
2018-05-17 17:23:54 -06:00
2017-07-16 20:17:41 -06:00
2017-07-16 22:37:51 -06:00
2018-08-10 15:55:32 +02:00
2018-08-13 19:58:54 -04:00
2017-07-16 11:30:09 -06:00
2018-07-24 11:44:15 -06:00
2017-09-08 22:20:47 -04:00
2018-10-19 17:25:18 -04:00
2019-02-17 20:53:21 -05:00