diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-02-22 13:34:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-22 13:34:44 +0100 |
| commit | 39a6e64997b9b6eb86636041870e7c8f3ce78470 (patch) | |
| tree | d68237175ae9ae4cd4d33a2fb08d9e6d7f97e969 /file_formats | |
| parent | 84fe059970fe13a499499d8558e5e37fb77ce31b (diff) | |
| parent | 64c6ccf37a0ab31ba16b186230dfde9bc8472077 (diff) | |
| download | ocaml-39a6e64997b9b6eb86636041870e7c8f3ce78470.tar.gz | |
Merge pull request #11993 from xavierleroy/install-fewer-opt-progs
Compile non-speed-critical tools to bytecode only
Diffstat (limited to 'file_formats')
0 files changed, 0 insertions, 0 deletions