diff options
| author | davidovski <david@davidovski.xyz> | 2022-05-31 22:35:17 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-05-31 22:35:17 +0100 |
| commit | 7568f82cd76e74b6ed0b1dbc9f56139fa1068500 (patch) | |
| tree | 11789ea0399f70977b2cce4769378ba3407b519c /psibuilds/gmp.psibuild | |
| parent | 29bec3847866b7193413c6516198f3cdebff4e00 (diff) | |
changed -d to -ov1.4
Diffstat (limited to 'psibuilds/gmp.psibuild')
0 files changed, 0 insertions, 0 deletions