Charly Delay d7124595d0 gnathub: remove obsolete GNATprove plugin ...

This plugin stopped working some time ago due to major changes in
GNATprove output. Remove support for it as it will be re-implemented as
part of P701-003.

Change-Id: I7c0b6399243a865c57211b0f2c16573bf5ed63a9
TN: P701-003
TN: N805-021

2016-07-26 16:42:45 +02:00

..

codepeer.rst

Repository reorganization

2015-12-07 17:28:54 +01:00

gcov.rst

Repository reorganization

2015-12-07 17:28:54 +01:00

gnatcheck.rst

Repository reorganization

2015-12-07 17:28:54 +01:00

gnatcoverage.rst

Repository reorganization

2015-12-07 17:28:54 +01:00

gnatmetric.rst

Repository reorganization

2015-12-07 17:28:54 +01:00

modules.rst

gnathub: remove obsolete GNATprove plugin

2016-07-26 16:42:45 +02:00

sonarconfig.rst

Repository reorganization

2015-12-07 17:28:54 +01:00

sonarrunner.rst

Repository reorganization

2015-12-07 17:28:54 +01:00