aboutsummaryrefslogtreecommitdiffhomepage
path: root/specification/app/Main.hs
Commit message (Expand)AuthorAgeFilesLines
* Release code as open sourceHEADmasterFrédéric Menou2022-05-171-0/+36