wxmaxima:Version-17.05

Last commit made on 2017-06-30
Get this branch:
git clone -b Version-17.05 https://git.launchpad.net/wxmaxima

Branch merges

Branch information

Name:
Version-17.05
Repository:
lp:wxmaxima

Recent commits

5051da5... by PeterPall on 2017-06-30

Seems like this slash is missing in pathnames on some systems..

Resolves #890

Some recent commit information could not be fetched.