diff options
| author | Emilio Jesus Gallego Arias | 2020-03-30 02:29:06 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 02:29:06 -0400 |
| commit | 668b3fbcf3387d6d3b450a4793695d0804685b05 (patch) | |
| tree | 1a67711b9f11576d2f76698925fae44c983b4c87 /kernel/cbytecodes.ml | |
| parent | 6760a066168a5be0d3b479741fe8ac6c39339610 (diff) | |
| parent | 4f9d248e98acd0646c8d789e8a2810dea7303a4a (diff) | |
Merge PR #11874: Auto-format micromega files in pre-commit hook.
Ack-by: SkySkimmer
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions