diff options
| author | Remi Collet <remi@remirepo.net> | 2020-03-12 17:11:40 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2020-03-12 17:11:40 +0100 |
| commit | cee0fea5482e1bb2fee69bbd3ab681bfbc8e5dc7 (patch) | |
| tree | 07ba7f4817efe22406eb6d06c1afba8dec8cca55 /.github | |
| parent | 6869bee2ad2aa27aa31be800b5117d76b97163b0 (diff) | |
micro optimization
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions