ros-planning/navigation — pull request #297 by garyservin (2014-12-23 16:57:02+00:00)
Title: Mark move_base headers for installation

This is needed to use move_base on Android either with rosjava using JNI or as a native activity.

Do you think an `if(ANDROID)` is necessary around this part?