diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-17 19:32:44 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-17 19:32:44 +0100 |
| commit | 98ec18bd7e7ab88b0432a3c5a00e54661b9b27e1 (patch) | |
| tree | 0bda0b6200a43e63dbebd118bba5b4dbc298aa5d /configure.ac | |
| parent | 2ce6c7a9d8fa5940049e0ea9f9f13b908ce6c7f8 (diff) | |
more KS cleanups, including one race fix
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions