diff options
| author |  jesopo | 2019-01-09 22:45:33 +0000 |
|---|---|---|
| committer | jesopo | 2019-01-09 22:45:33 +0000 |
| commit | 8d3064d50cd7146413cbc51c652f335af38f0dfe (patch) | |
| tree | 2d6522a1fa86edb9daa518ef21498bbba38d8800 /src/ModuleManager.py | |
| parent | Boldify `sender` on a pull request review comment (github.py) (diff) | |
| signature | ||
Add !ghpull, to get information on a pull request from github (github.py)
Diffstat (limited to 'src/ModuleManager.py')
0 files changed, 0 insertions, 0 deletions