Ingo Weinhold 50888ebdc0 BSolverRepository: Add a change count
... so we can easily check whether the repository has changed since the
last time we used it.
2013-04-10 12:58:12 +02:00
..
2011-11-02 14:57:43 +00:00
2011-08-28 13:47:07 +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