diff options
| author | Tamer Tas <contact@tmrts.com> | 2016-08-20 10:11:59 +0300 |
|---|---|---|
| committer | Tamer Tas <contact@tmrts.com> | 2016-08-20 10:19:16 +0300 |
| commit | 988826d8aa213a332387293d3ce7861f1f401453 (patch) | |
| tree | 93754f4a66eeabbcbb9d74b5d16f21b6894f0df0 /scripts | |
| parent | 108242a5be4058cfaf6afb2822087aef0379c8b4 (diff) | |
docs/devel: document the behavior of github UI for PRs
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions