ada/gnatdashboard
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatdashboard.git synced 2026-02-12 12:30:42 -08:00
Code Issues Packages Projects Releases Wiki Activity
773 Commits 36 Branches 2 Tags
17
Commit Graph

2 Commits

Author SHA1 Message Date
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
Charly Delay
d3c8306e04 Repository reorganization 
The documentation is now global and its sources moved to the top-level
directory. Same goes for the know-problems-* and features-* files that
are now shared between all submodules.

This commit needs to be push in synchronization with change I0a342aea8d
in the ANOD specification repository.

Change-Id: If350f109ae6a40ae3e632bfa8491145aaab8a52f
TN: OA28-039
 2015-12-07 17:28:54 +01:00