jesopo 52092cfe28 Make github-hide-prefix apply to !gt as well		2019-02-27 14:52:10 +00:00
..
__init__.py	Make github-hide-prefix apply to !gt as well	2019-02-27 14:52:10 +00:00
ghwebhook.md	pr-all also shows when there are new commits to a pull request (github)	2019-01-21 17:25:13 +00:00