diff options
| author | Eduardo Julian | 2019-09-15 14:59:29 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-09-15 14:59:29 -0400 |
| commit | 301704e959814e2c85bccceb99842d88ee15e5a3 (patch) | |
| tree | 8c594f402baf624eda30a0e04bf38c68ac6f55e9 /documentation/specification | |
| parent | e553edfbb3f7c1a3053c0bbbcaa7b8e9ccb3057b (diff) | |
Disabled loop optimization in the old compiler.
Diffstat (limited to 'documentation/specification')
0 files changed, 0 insertions, 0 deletions