diff options
| author | Daniil Baturin <daniil@baturin.org> | 2014-09-11 20:59:21 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2014-09-11 20:59:21 +0700 |
| commit | 6eea532330ac11ce261dd9b3e765099b1288fb17 (patch) | |
| tree | 9427667b525194d155e01e6f68ebf51a676be45c /es-es/git-es.html.markdown | |
| parent | 6c0018c4b7457e0bf9873627af366b349b194637 (diff) | |
The native compiler is ocamlopt, not ocamlc.opt.
Artifacts of late-night writing.
Diffstat (limited to 'es-es/git-es.html.markdown')
0 files changed, 0 insertions, 0 deletions