diff options
author | Toni <matzeton@googlemail.com> | 2021-10-10 13:13:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-10 13:13:52 +0200 |
commit | cf931fda6bfb3925555c7bd11d950a886676bcb3 (patch) | |
tree | a1ae588d0b7a0b96b7ef258f18ed59e962e7d418 /doc/api.rst | |
parent | 6ff67b5043e52db3de1c8fc63dddabe906612217 (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/api.rst')
0 files changed, 0 insertions, 0 deletions