Skip to content

Commit

Permalink
Remove catkin_make_release* scripts (#2042)
Browse files Browse the repository at this point in the history
  • Loading branch information
esteve authored and sgermanserrano committed Feb 28, 2019
1 parent 0bd0145 commit ef7bfa2
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 123 deletions.
26 changes: 0 additions & 26 deletions ros/catkin_make_release

This file was deleted.

97 changes: 0 additions & 97 deletions ros/catkin_make_release_cross

This file was deleted.

0 comments on commit ef7bfa2

Please sign in to comment.