benn 4131602593 Upgrade: disable doxygen builder (WIP) ... BuilderDoxygen and BuilderGCH are external plug-ins, not developed in this project and probably unmaintained. TODO: decide how to fix or replace them...		2025-03-16 16:48:14 +01:00
..
design	DOC: update technical docs to reflect recent development	2023-10-25 00:02:08 +02:00
devel	MERGE: prepare for upgrade and release	2025-03-16 05:09:53 +01:00
technical	MERGE: prepare for upgrade and release	2025-03-16 05:09:53 +01:00
user	Library/Application: complete technology switch (closes #1279)	2023-10-16 01:44:04 +02:00
.gitignore	infrastructure to test the documentation standalone	2018-11-01 04:38:17 +01:00
DIR_INFO	spelling fixes	2011-02-06 02:12:55 +01:00
index.txt	DOC: review and minor layout tweaks	2023-09-14 03:14:35 +02:00
SConscript	Upgrade: disable doxygen builder (WIP)	2025-03-16 16:48:14 +01:00