diff options
| author | coqbot-app[bot] | 2020-12-30 07:10:06 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-30 07:10:06 +0000 |
| commit | 30f648dc29958add42e7509a9c29f271f768e183 (patch) | |
| tree | 5dccaadf3ccf8f48481811336d8f3ae9bee43222 /plugins | |
| parent | 810e91530071159e27e89bf0ca6bc36c8bb1d034 (diff) | |
| parent | 8a0986f84965e61239d00e9be48d713e60308863 (diff) | |
Merge PR #13684: Document the -native-compiler option
Reviewed-by: silene
Ack-by: Zimmi48
Ack-by: jfehrle
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions