mimo 6451a4c3c1 Petra: improve choice of workers, fixes #3586, patch from otero ... This was SVN commit r17827.		2016-03-04 17:08:45 +00:00
..
data	Petra: improve choice of workers, fixes #3586, patch from otero	2016-03-04 17:08:45 +00:00
logs	Updates logs readme with link to Trac, to replace confusing outdated info	2012-08-02 19:41:50 +00:00
system	Add version command line option. Fixes #2965.	2016-01-08 19:35:33 +00:00