summaryrefslogtreecommitdiff
path: root/README
AgeCommit message (Expand)Author
2020-01-25clarify how to launchHEADmasterChristian Grothoff
2019-05-21readmeMarcello Stanisci
2019-05-20readmeMarcello Stanisci