Jerome Lambourg de15c78567 Remove the gprconfig kb and use the external repository instead. ...

Amend bootstrap.sh for community users and update the README accordingly.

Change-Id: I48242b71f89407f1812eca2492f67dbdb33d95fc
TN: T622-033

2020-06-23 10:21:46 +02:00

..

_default.gpr

Add _default.gpr and copy _share.gpr to <prefix>/share/gpr during

2013-03-04 17:43:09 +00:00

share.gpr

Add XML configuration files to the main grpbuild project so that GPS is

2007-10-03 09:23:38 +00:00