diff options
author | davidovski <david@davidovski.xyz> | 2022-01-18 14:39:06 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-01-18 14:39:06 +0000 |
commit | 13f70a29238f059aa1c1abbece7dd78513bffc60 (patch) | |
tree | 29be33f7dceaaf85cb5599343af5218bf02deda9 /xibuilds/gmp.xibuild | |
parent | 7c7daae09c437eeb6d340f7698cbb530dee3291f (diff) |
made it skip the skip repo
Diffstat (limited to 'xibuilds/gmp.xibuild')
0 files changed, 0 insertions, 0 deletions