diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-07-07 18:22:56 +0200 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-07-07 18:41:29 +0200 |
| commit | 92fe57ba231c2846b1e442b4a187db7a57ae5b8c (patch) | |
| tree | 00cd7c3e7e89a188dd20d89bf3d9e9347ff1970f /main/gnu-efi | |
| parent | 431580e26f764631d14d6f1f0fc7061a1cb7d781 (diff) | |
| download | aports-92fe57ba231c2846b1e442b4a187db7a57ae5b8c.tar.bz2 aports-92fe57ba231c2846b1e442b4a187db7a57ae5b8c.tar.xz | |
testing/ocaml-migrate-parsetree: upgrade to 1.0.11 and improve abuild
Diffstat (limited to 'main/gnu-efi')
0 files changed, 0 insertions, 0 deletions