diff options
author | Dimitris Pappas | 2024-03-01 06:00:58 +0200 |
---|---|---|
committer | Dimitris Pappas | 2024-03-01 06:00:58 +0200 |
commit | b55d8508a3c022e47ee06035982cd46f6d0d17df (patch) | |
tree | ac6374a39afb19708698dfc49f8c1780d35b2c28 /minizinc-ide-edge.install | |
parent | 18c33f97d766c1428ffd48b3e4c9b99a2486d4a2 (diff) | |
download | aur-b55d8508a3c022e47ee06035982cd46f6d0d17df.tar.gz |
Version build1196578208
Diffstat (limited to 'minizinc-ide-edge.install')
0 files changed, 0 insertions, 0 deletions