Age | Commit message (Expand) | Author |
---|---|---|
2019-06-19 | ci: remove no longer used scripts and patch file | Stefan Schmidt |
2019-03-21 | ci: disable exit-on-error during configure and also grab stderr | Mike Blumenkrantz |
2018-08-08 | ci: automatically clear config.cache if it cannot be used | Mike Blumenkrantz |