Robert Jordens 44c78a5e79 manual: deprecate old release ...

closes #863

2017-12-06 12:52:35 +01:00

..

logo

update logo

2016-04-30 00:30:24 +08:00

manual

manual: deprecate old release

2017-12-06 12:52:35 +01:00

slides

doc: convert to 'with parallel'

2016-02-23 15:53:41 +08:00