summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2020-04-13v1.2.7.1Paolo
2020-04-13v1.2.7Paolo
2020-04-13add makefilePaolo
2020-02-16change github repository URLPaolo
2020-01-26v1.2.6-1Paolo
2020-01-26add gitignore and notes filesPaolo
2019-05-06v1.2.5-2: add SRCINFO filePaolo
2019-05-06v1.2.5-2: fix classpath in the launcher filePaolo
2019-05-06initial commit - v. 1.2.5-1Paolo