diff options
| author | Ali Mohammad Pur <ali.mpfard@gmail.com> | 2022-05-16 19:21:38 +0430 |
|---|---|---|
| committer | Ali Mohammad Pur <Ali.mpfard@gmail.com> | 2022-05-19 20:17:10 +0430 |
| commit | 4876a943cd5c590fee0aed31ad835d00027dfc55 (patch) | |
| tree | d3a30e3cc9aa00645750199ebb59bc58dcb7e95e /Ports/.port_include.sh | |
| parent | 1f93ef2b83c47885c69272c4d3685858e1c9288e (diff) | |
| download | serenity-4876a943cd5c590fee0aed31ad835d00027dfc55.zip | |
Ports: Update gmp's patches to use git patches
Diffstat (limited to 'Ports/.port_include.sh')
0 files changed, 0 insertions, 0 deletions