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.desktop | |
| parent | 18c33f97d766c1428ffd48b3e4c9b99a2486d4a2 (diff) | |
| download | aur-b55d8508a3c022e47ee06035982cd46f6d0d17df.tar.gz | |
Version build1196578208
Diffstat (limited to 'minizinc-ide-edge.desktop')
0 files changed, 0 insertions, 0 deletions