Skip to content

pocketsphinx is already taken by ros package(http://wiki.ros.org/pock…#15260

Merged
dirk-thomas merged 1 commit intoros:masterfrom k-okada:fix_duplicates_pocketsphinxJun 29, 2017