Wolf Thomsen 6e45c5d1f3
Remove duplicated section from error_management.md (#1529)
* Remove duplicated section from error_management.md

The section explaining the three different error types was duplicated (with minimal changes between the two sections). This (small) PR removes the redundancy.

* Update doc/error_management.md

Co-authored-by: Geoffroy Couprie <geo.couprie@gmail.com>
2022-12-30 18:01:29 +01:00
..
2022-03-14 22:12:15 +01:00
2021-10-23 22:34:38 +02:00