docker
|
support: add Dockerfile for CI
|
2017-07-02 23:45:24 +02:00 |
download
|
download/git: clarify why .git is removed
|
2017-04-20 22:27:23 +02:00 |
gnuconfig
|
support/gnuconfig: bump version to 2016-05-15
|
2016-06-05 22:26:57 +02:00 |
kconfig
|
merge_config.sh: create temporary files in /tmp
|
2016-01-31 09:09:52 +01:00 |
legal-info
|
legal-info: add hash for our own license file
|
2017-07-05 16:31:40 +02:00 |
libtool
|
support/libtool: add patch for newer versions
|
2014-12-21 13:21:56 +01:00 |
misc
|
Update for 2017.08
|
2017-09-02 01:17:43 +02:00 |