diff options
| author | Andrew Clemons <andrew.clemons@gmail.com> | 2022-02-08 20:58:09 +1300 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-09 09:35:57 +0700 |
| commit | 0961004603ee865b58a1498391dc1578f2c2cd3a (patch) | |
| tree | b2315189fb88748e322951c29477f993c45bcc55 /development/gecode | |
| parent | ecab81e95a440fea4219cd33e96092043f1dc6e9 (diff) | |
development/mono-addins: Fix github tarball handling.
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/gecode')
0 files changed, 0 insertions, 0 deletions