maxima:new-gentran

Last commit made on 2019-05-06
Get this branch:
git clone -b new-gentran https://git.launchpad.net/maxima

Branch merges

Branch information

Name:
new-gentran
Repository:
lp:maxima

Recent commits

ee563df... by Raymond Toy <email address hidden> on 2019-05-06

Merge branch 'master' into new-gentran

Some recent commit information could not be fetched.