diff options
| author | Dimitris Pappas | 2024-05-24 07:00:01 +0300 |
|---|---|---|
| committer | Dimitris Pappas | 2024-05-24 07:00:01 +0300 |
| commit | 3b06d8930d9ccae5b78366c7f48b2f7101914ff8 (patch) | |
| tree | 738e916e42ff4bc593e024c164d1877cf13ac6fb /minizinc-ide-edge.desktop | |
| parent | 8f66c1c4b929ed457bff328b89ebe576b18316ce (diff) | |
| download | aur-minizinc-ide-edge.tar.gz | |
Version build1303234975
Diffstat (limited to 'minizinc-ide-edge.desktop')
0 files changed, 0 insertions, 0 deletions