Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-01-24 | Update 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-18 | Initial commit | Pierre-Marie de Rodat | |