Monika Kurovszky 40e6327cc2 Remove Codepeer specific switches from GNAThub ...

"--output-dir" and "--db-dir"

   Using instead only Codepeer attributes from .gpr

Part of R703-038

Change-Id: Icee81f2f201b172d049a8150994dd79b30487072

2018-07-11 18:06:02 +02:00

..

source

Remove Codepeer specific switches from GNAThub

2018-07-11 18:06:02 +02:00

themes/adacore

Repository reorganization

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

Makefile

chore(doc): Makefile rework

2016-06-16 14:18:13 -04:00