diff options
| author | Emilio Jesus Gallego Arias | 2019-03-29 16:16:52 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-29 16:16:52 +0100 |
| commit | 379781acc56c430485088e6d67785d420fa69691 (patch) | |
| tree | 25523bbb0beb6678a4ce5c90219a956ed69ea68d /kernel/genOpcodeFiles.ml | |
| parent | 4b9636ffd47ea5a0b99df442047ba03d18422738 (diff) | |
| parent | 705b593287c787d4c2e71b01b76e6a66d1bbb517 (diff) | |
Merge PR #9853: Use only lowercase for unimath in CI scripts
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions