~carlos-demaine/ubuntu/+source/coin3:ubuntu/disco-devel
Last commit made on
2019-01-24
- Get this branch:
-
git clone
-b ubuntu/disco-devel
https://git.launchpad.net/~carlos-demaine/ubuntu/+source/coin3
Branch merges
Branch information
- Name:
- ubuntu/disco-devel
- Repository:
- lp:~carlos-demaine/ubuntu/+source/coin3
Recent commits
- 90cfe86... by Leopold Palomo-Avellaneda
- 8f36158... by Leopold Palomo-Avellaneda
- 1a32ee2... by Leopold Palomo-Avellaneda
- 3fc94f8... by Leopold Palomo-Avellaneda
- 6431487... by Anton Gladky
- e015774... by Anton Gladky
- 5346c9f... by Anton Gladky
- 0ad89fd... by Anton Gladky
- 42dedec... by Anton Gladky
- 848c2ab... by Anton Gladky