aboutsummarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2020-10-08Forgot to update .SRCINFONicolas Stalder
2020-10-07Maven uses which to locate JAVA_HOMENicolas Stalder
2020-10-07Set git user name/email before fixing tagNicolas Stalder
2020-10-02Use shorter name `gpp`, avoid nested git tagNicolas Stalder
2020-10-02Fix version shown in `gp-pro -info` etc.Nicolas Stalder
2020-10-02PolishNicolas Stalder
2020-10-02Initial commitNicolas Stalder