Ingo Weinhold 334a5a566c BSolverRepository: Change priority from uint8 to int32
This allows us to specifies priorities below and above the user
definable range.
2013-04-12 13:42:27 +02:00
..
2011-11-02 14:57:43 +00:00
2011-11-05 17:00:01 +01:00
2011-11-02 14:57:43 +00:00
2011-11-05 17:00:01 +01:00