diff options
| author |  jesopo | 2019-03-02 09:30:53 +0000 |
|---|---|---|
| committer | jesopo | 2019-03-02 09:30:53 +0000 |
| commit | 91a7f622b8d3d25a2f78bf18135e45894d99dd8c (patch) | |
| tree | 92d660bcd3d7c5f82137cb54544d67fe9574c78c /modules/scripts | |
| parent | pinkify pull request number in !ghpull (diff) | |
| signature | ||
Don't check github-hide-prefix in !ghwebhook
Diffstat (limited to 'modules/scripts')
0 files changed, 0 insertions, 0 deletions