Name: pr2-buildscripts
Owner: pr2-debs
Description: Scripts that aid in building pr2 deb packages, setting up repositories, and so on.
Created: 2015-06-15 19:02:36.0
Updated: 2015-06-15 19:12:15.0
Pushed: 2015-06-15 19:12:14.0
Homepage: null
Size: 140
Language: Python
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
Scripts that aid in building pr2 deb packages, setting up repositories, and so on.