diff options
| author |  jesopo | 2019-11-25 12:01:33 +0000 |
|---|---|---|
| committer | jesopo | 2019-11-25 12:01:33 +0000 |
| commit | 531bc65889b81345c1d7ae2ad1e557b8fbad69ce (patch) | |
| tree | d90fa39930971add41b2a876a976ef0754229cf2 /modules/define.py | |
| parent | switch scripts module to no longer use set_prefix() (diff) | |
| signature | ||
explicitly say when an issue/PR was renamed
closes #209
Diffstat (limited to 'modules/define.py')
0 files changed, 0 insertions, 0 deletions