wxmaxima:feature/KubaO/refactor-font-selection
Last commit made on
2020-07-10
- Get this branch:
-
git clone
-b feature/KubaO/refactor-font-selection
https://git.launchpad.net/wxmaxima
Branch merges
Branch information
- Name:
- feature/KubaO/refactor-font-selection
- Repository:
- lp:wxmaxima
Recent commits
- ebedd50... by Kuba Ober <email address hidden> on 2020-05-13
- 8d2072b... by Kuba Ober <email address hidden> on 2020-05-13
- 03961ef... by Gunter Königsman <email address hidden> on 2020-05-13
- 3e1ea1c... by PeterPall on 2020-05-13
- 684d2ed... by Gunter Königsman <email address hidden> on 2020-05-13
- e5c410e... by Gunter Königsman <email address hidden> on 2020-05-13
- 5468353... by Kuba Ober <email address hidden> on 2020-05-13
- 17856f8... by Kuba Ober <email address hidden> on 2020-05-13
- cdae323... by Wolfgang Dautermann <email address hidden> on 2020-05-13
- a02c558... by Kuba Ober <email address hidden> on 2020-05-12