jeff1evesque/pocketsphinx — pull request #42 by jeff1evesque (2014-06-22 16:08:46+00:00)
Title: #41: use 'git://'

Resolves #41.