ubuntu/+source/gazebo:applied/ubuntu/disco-devel

Last commit made on 2019-01-23
Get this branch:
git clone -b applied/ubuntu/disco-devel https://git.launchpad.net/ubuntu/+source/gazebo
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/disco-devel
Repository:
lp:ubuntu/+source/gazebo

Recent commits

41189a4... by Gianfranco Costamagna

9.6.0-1build1 (patches applied)

Imported using git-ubuntu import.

41d67dc... by Gianfranco Costamagna

do not try to install arial and DejaVuSans fonts.

Gbp-Pq: 0008-arial-dejavu-fonts-removed-in-dfsg.patch.

46ac0b0... by Gianfranco Costamagna

Remove unknown roff commands

Gbp-Pq: 0005-fix-problems-on-manpage.patch.

f07784c... by Gianfranco Costamagna

Don't prefix -l if already present.

Gbp-Pq: 0004-pkgconfig-boost-pthread.patch.

818bdb5... by Gianfranco Costamagna

Use system packaged qtpropertybrowser

Gbp-Pq: 0003-use-system-qtpropertybrowser.patch.

bf3a9ab... by Gianfranco Costamagna

Use system packaged gtest

Gbp-Pq: 0002_use_system_gtest.patch.

acdf725... by Gianfranco Costamagna

Use system packaged roboto fonts

Gbp-Pq: 0001-use-roboto-system-fonts.patch.

b16086a... by Gianfranco Costamagna

9.6.0-1build1 (patches unapplied)

Imported using git-ubuntu import.

6a8babd... by Jose Luis Rivero

9.6.0-1 (patches applied)

Imported using git-ubuntu import.

fd48dfd... by Jose Luis Rivero

9.6.0-1 (patches unapplied)

Imported using git-ubuntu import.