This repository has been archived on 2023-11-20. You can view files and clone it, but cannot push or open issues or pull requests.

Henrik Rusche f2c3a353c1 Merge commit 'a9ea67f54a1bb8f9b0349b4488688ccce5679404' into nextRelease		2014-06-05 08:47:01 +02:00
..
solvers	Remove trailing whitespace systematically	2014-06-01 20:12:52 +02:00
utilities	Merge commit 'a9ea67f54a1bb8f9b0349b4488688ccce5679404' into nextRelease	2014-06-05 08:47:01 +02:00
Allwmake	Porting, compilation	2010-09-22 19:13:13 +01:00