diff options
| author | Kyle L. Davis | 2022-08-12 02:27:18 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-12 02:27:18 +0000 |
| commit | 21f2affa16b01f48ee88a6070ae492537b8360e3 (patch) | |
| tree | bcce0f04da1c54bb0971357e9c9914defb5afc8a /runtime/queries/lean/injections.scm | |
| parent | 7559b77d531ce12a890288ee04a45b5d3bc0c88a (diff) | |
Fix conditional setting of stdin handle on Windows (#3379)
* Revert 3121353c6ab2fbc5fced28f075c7fc45b53b661e
* Switch to conditional compilation
* Run formatter
* Switch from conditional compilation to compile-time bool
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions