Gazebo Classic (aka Gazebo11)

gazebo-classic:gazebo7_boost_patch

  1. Git
  2. lp:gazebo-classic
  3. gazebo7_boost_patch
Last commit made on 2018-06-11
Get this branch:
git clone -b gazebo7_boost_patch https://git.launchpad.net/gazebo-classic

Branch merges

Branch information

Name:
gazebo7_boost_patch
Repository:
lp:gazebo-classic

Recent commits

c7c61aa... by Jose Luis Rivero

Workaround for boost copy patch

160a2bb... by Nate Koenig

Added tag gazebo7_7.13.0 for changeset 317046fcbe6a

dd24106... by Nate Koenig

Added tag gazebo7_7.13.0 for changeset b141c8f47c5a

f8881d5... by Nate Koenig

Merged in bump_7.13 (pull request #2973)

Bump to 7.13

Approved-by: Nathan Koenig <email address hidden>

0defb09... by Nate Koenig

Close branch bump_7.13

1ec6383... by Nate Koenig

merged

5afd7f5... by Nate Koenig

Changelog.md edited online with Bitbucket

2ba0ef6... by chapulina <email address hidden>

Bump to 7.13

7d80bf2... by Nate Koenig

merged

e365a02... by Nate Koenig

7.12.1