Sebastian Huber d946f307e9 c-user: Generate fatal error manager docs
The documentation is a consolidation of the comments in Doxygen markup
and the documentation sources in Sphinx markup.  The documentation was
transfered to interface specification items.  The documentation source
files were generated from the items by a script.

Update #3993.
2021-04-21 19:47:34 +02:00
..
2021-04-21 09:35:58 +02:00