diff options
| author | Devin J. Pohly <djpohly@gmail.com> | 2020-08-02 18:49:00 -0500 |
|---|---|---|
| committer | Devin J. Pohly <djpohly@gmail.com> | 2020-08-02 18:49:23 -0500 |
| commit | 0ac2f6616a5f0f3ab10b53dcf294862d87116421 (patch) | |
| tree | 116fab7d441e99d81065f4be690579eb2a8db650 /.github | |
| parent | 59cd8dec940f4838fa945e520d79946e1dd8d678 (diff) | |
fix an editing mistake
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions