4 Commits

Author	SHA1	Message	Date
Charly Delay	4b09335502	fix(docs): remove generated documentation files ... Change-Id: Id8a1420face1063cdb24047186c0880399875a39 TN: PB30-013	2016-11-30 10:57:11 -05:00
Charly Delay	35258575c7	doc(sonar-ada-plugin): update documentation ... Replaces mentions of SonarQube Runner by SonarQube Scanner. Change-Id: I0f34ee849121267097682b1917285663ef8c6741 TN: OB03-043	2016-11-29 12:01:14 -05:00
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