Gemma Tinti 7b4910ee87 branch

2018-09-17 14:59:08 +02:00

..

manual-api

merged selected patches from 4.0.0 branch

2018-08-24 13:10:16 +02:00

manual-calwiz

updating user documentation. another update required

2017-08-22 19:40:20 +02:00

manual-client

branch

2018-09-17 14:59:08 +02:00

manual-gui

updating user documentation. another update required

2017-08-22 19:40:20 +02:00

manual-main

merged selected patches from 4.0.0 branch

2018-08-24 13:10:16 +02:00

index.html

some docs

2012-12-04 15:36:02 +00:00

Makefile

updated manuals

2018-02-09 11:25:21 +01:00