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