Bojidar Marinov 0e8a8d2cb1 Add option to keep margins when changing anchors, closes #3979 ...

Amend: Fixed an issue for non-tool builds
Amend2: Same, just fixed doing nothing at some times

2016-03-09 21:14:17 +02:00

..

base

Add option to keep margins when changing anchors, closes #3979

2016-03-09 21:14:17 +02:00

tools

Add a warning header to each rst file

2016-02-17 22:02:55 +01:00

Doxyfile

Add a Makefile to generate classes doc in various formats

2015-12-13 00:01:04 +01:00

Makefile

Enhance xml to rst converter

2016-02-07 12:13:19 +01:00