- Aug 25, 2016
-
-
Christophe Geuzaine authored
-
- Jun 04, 2016
-
-
Christophe Geuzaine authored
-
Éric Béchet authored
-
- Jan 06, 2016
-
-
Christophe Geuzaine authored
-
- Jan 05, 2016
-
-
Christophe Geuzaine authored
-
- Mar 09, 2015
-
-
Christophe Geuzaine authored
there's no need to impose unique client names on the server: it just complicates everything - so let's remove this limitation
-
- Feb 22, 2015
-
-
Christophe Geuzaine authored
-
- Feb 07, 2014
-
-
Christophe Geuzaine authored
-
- Jul 19, 2013
-
-
Christophe Geuzaine authored
-
- Jun 06, 2013
-
-
Christophe Geuzaine authored
new option menu for solvers (much simpler than in gear menu); needs to be enhanced with other actions
-