ubuntu/+source/mrpt:ubuntu/disco

Last commit made on 2018-07-19
Get this branch:
git clone -b ubuntu/disco https://git.launchpad.net/ubuntu/+source/mrpt
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/disco
Repository:
lp:ubuntu/+source/mrpt

Recent commits

79dee92... by Matthias Klose

1:1.5.6-1build1 (patches unapplied)

Imported using git-ubuntu import.

3b8caaa... by Jose Luis Blanco-Claraco

1:1.5.6-1 (patches unapplied)

Imported using git-ubuntu import.

8667f2b... by Jose Luis Blanco-Claraco

1:1.5.5-1 (patches unapplied)

Imported using git-ubuntu import.

fc230f4... by Jose Luis Blanco-Claraco

1:1.5.3-1 (patches unapplied)

Imported using git-ubuntu import.

91deb0f... by Jose Luis Blanco-Claraco

1:1.4.0-7 (patches unapplied)

Imported using git-ubuntu import.

e459989... by Jose Luis Blanco-Claraco

1:1.4.0-6 (patches unapplied)

Imported using git-ubuntu import.

24d2903... by Jose Luis Blanco-Claraco

1:1.4.0-5 (patches unapplied)

Imported using git-ubuntu import.

02a4637... by Jose Luis Blanco-Claraco

1:1.4.0-4 (patches unapplied)

Imported using git-ubuntu import.

15a8b92... by Jose Luis Blanco-Claraco

1:1.4.0-3 (patches unapplied)

Imported using git-ubuntu import.

70e3805... by Jose Luis Blanco-Claraco

1:1.4.0-2 (patches unapplied)

Imported using git-ubuntu import.