diff options
| author | Ondrej Zajicek <santiago@crfreenet.org> | 2023-01-03 17:14:48 +0100 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2023-01-03 17:14:48 +0100 |
| commit | 309c874f9c8b217dbed1569c73b4a3035f5cb170 (patch) | |
| tree | 0476231ef6c3792df5c94687062339c03afd248a /tools/linuxdoc-tools | |
| parent | b28431e557c4f63923476094a919a0630001275e (diff) | |
Configure: Expensive check option was broken, never worked
Diffstat (limited to 'tools/linuxdoc-tools')
0 files changed, 0 insertions, 0 deletions