Commit Graph

3 Commits

Author SHA1 Message Date
Adriaan de Groot
7df143f64a [partition] Add flags to PartitionInfo
- PartitionInfo maintains information on "what is desired" for
   a given Partition. Now we can set desired flags, alongside
   the flags already supported by Partition (where activeFlags()
   gives you the flags currently set on that partition).
2018-05-16 06:53:35 -04:00
Adriaan de Groot
762ad54344 Documentation: change http links to GitHub to https 2017-12-20 08:39:09 -05:00
Aurélien Gâteau
693e9229c8 Dispatch files in core/ gui/ and jobs/ dirs 2014-08-08 13:25:56 +02:00