diff options
| author | Devin J. Pohly <djpohly@gmail.com> | 2020-12-25 12:07:43 -0500 |
|---|---|---|
| committer | Devin J. Pohly <djpohly@gmail.com> | 2020-12-25 12:07:43 -0500 |
| commit | 2230f92ef008e0c8d92acb8fee701fefc91939dd (patch) | |
| tree | 8373165f6a807b7e7895bbf40cd25d533d104eec /.github | |
| parent | e0a48accc5142e351314375ead3e4559677ef49b (diff) | |
add "all" target
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions