summarylogtreecommitdiffstats
path: root/.gitignore
AgeCommit message (Collapse)Author
2021-01-24Update for recent versions (from tfl5034)Pierre-Marie de Rodat
* Add gprconfig_kb sources from git and pass them to the `bootstrap.sh` script with `--with-kb=`. * Update the sed scripts to reflect change of locations of XML files. * Remove sed script to modify `bootstrap.sh` because the shebang was changed upstream to `#!/bin/bash`
2017-06-18Initial commitPierre-Marie de Rodat