summarylogtreecommitdiffstats
path: root/minizinc-ide-edge.install
AgeCommit message (Collapse)Author
2023-11-30Version build1090227274-2Dimitris Pappas
2023-11-30InitialDimitris Pappas