~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
Only carlosd can upload to this branch. If you are carlosd please log in for upload directions.

Branch merges

Branch information

Name:
ubuntu/disco-devel
Repository:
lp:~carlos-demaine/ubuntu/+source/coin3

Recent commits

90cfe86... by Leopold Palomo-Avellaneda

4.0.0~CMake~6f54f1602475+ds1-2 (patches unapplied)

Imported using git-ubuntu import.

8f36158... by Leopold Palomo-Avellaneda

4.0.0~CMake~6f54f1602475+ds1-1 (patches unapplied)

Imported using git-ubuntu import.

1a32ee2... by Leopold Palomo-Avellaneda

4.0.0~CMake~6f54f1602475+ds1-1~exp2 (patches unapplied)

Imported using git-ubuntu import.

3fc94f8... by Leopold Palomo-Avellaneda

4.0.0~CMake~6f54f1602475+ds1-1~exp1 (patches unapplied)

Imported using git-ubuntu import.

6431487... by Anton Gladky

4.0.0~CMake~1d5b2270e495+dfsg1-1~exp1 (patches unapplied)

Imported using git-ubuntu import.

e015774... by Anton Gladky

3.1.4~abc9f50+dfsg3-1 (patches unapplied)

Imported using git-ubuntu import.

5346c9f... by Anton Gladky

3.1.4~abc9f50+dfsg2-1 (patches unapplied)

Imported using git-ubuntu import.

0ad89fd... by Anton Gladky

3.1.4~abc9f50+dfsg1-2 (patches unapplied)

Imported using git-ubuntu import.

42dedec... by Anton Gladky

3.1.4~abc9f50+dfsg1-1 (patches unapplied)

Imported using git-ubuntu import.

848c2ab... by Anton Gladky

3.1.4~abc9f50-10 (patches unapplied)

Imported using git-ubuntu import.