aboutsummaryrefslogtreecommitdiff
path: root/doc/guide
diff options
context:
space:
mode:
authorToni <matzeton@googlemail.com>2021-10-10 13:13:52 +0200
committerGitHub <noreply@github.com>2021-10-10 13:13:52 +0200
commitcf931fda6bfb3925555c7bd11d950a886676bcb3 (patch)
treea1ae588d0b7a0b96b7ef258f18ed59e962e7d418 /doc/guide
parent6ff67b5043e52db3de1c8fc63dddabe906612217 (diff)
Get rid of `configure.seed` as it comes with some disadvantages. (#1328)
* using Autotools best-practices to achieve (hopefully) the same result Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'doc/guide')
0 files changed, 0 insertions, 0 deletions
Powered by cgit, Themed by Ted Yin.