gnatdashboard/docs/source/plugins-doc/modules.rst at 17 - gnatdashboard - ProxGit

ada/gnatdashboard

mirror of https://github.com/AdaCore/gnatdashboard.git synced 2026-02-12 12:30:42 -08:00

Files

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

14 lines

134 B

ReStructuredText

Raw Permalink Blame History

 core
 ====
 .. toctree::
    :maxdepth: 4
    codepeer
    gcov
    gnatcheck
    gnatcoverage
    gnatmetric
    sonarconfig
    sonarrunner