Mark Wielaard d772e25995 Remove SGcheck from documentation.
Since the SGcheck tool was removed for 3.16.0, also remove it from the
manual intro and core sections and the xml-output-protocol4 description.
2020-05-02 16:21:58 +02:00
..
2020-04-17 19:25:32 +02:00
2007-11-25 00:56:51 +00:00
2005-11-27 04:10:00 +00:00
2020-04-17 19:25:32 +02:00