diff options
| author | D. Ben Knoble <ben.knoble+github@gmail.com> | 2021-01-23 12:27:55 -0500 |
|---|---|---|
| committer | D. Ben Knoble <ben.knoble+github@gmail.com> | 2021-01-23 12:27:55 -0500 |
| commit | 10d2b8797c3d4336729f5f6f75edab53733d7642 (patch) | |
| tree | 45c43bddf1dac4f095cf6a281fdd5eb3df4958f2 /.github | |
| parent | 80a0108fcfa93876c03e7e74110d11e398561cb0 (diff) | |
| download | ale-10d2b8797c3d4336729f5f6f75edab53733d7642.zip | |
swipl: style fix
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions