Name: srclib-man
Owner: Sourcegraph
Description: Srclib toolchain for indexing man pages, currently only used internally. See https://github.com/sourcegraph/srclib-bash.
Created: 2016-06-08 17:23:06.0
Updated: 2017-12-05 16:30:27.0
Pushed: 2016-06-14 20:35:06.0
Homepage: null
Size: 259
Language: Go
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
Srclib toolchain for indexing man pages, currently only used internally. See https://github.com/sourcegraph/srclib-bash.