diff options
| author |  jesopo | 2019-06-27 11:27:15 +0100 |
|---|---|---|
| committer | jesopo | 2019-06-27 11:27:15 +0100 |
| commit | d4fd841af269f53d4016ca0ef01f0f74eb9c459a (patch) | |
| tree | 24a9fcc0105456fd4846ccd28ca0c4b8420fc2fe /modules/eval_lua.py | |
| parent | 'ref' -> 'sha' for getting PR commit titles (diff) | |
| signature | ||
Prefix PR commit outputs with "[PR] "
Diffstat (limited to 'modules/eval_lua.py')
0 files changed, 0 insertions, 0 deletions