diff options
| author | Luca Deri <lucaderi@users.noreply.github.com> | 2020-09-20 18:33:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-20 18:33:57 +0200 |
| commit | ea9177cc9397270172e16e10e2ed947c8471323c (patch) | |
| tree | 492f6f90618cf5fb2ebee363ebf8aaee92999bfc /COPYING | |
| parent | 1385f05713045b846f5a830cfc23eabd5f71e70d (diff) | |
| parent | fdef6f3545bd4a8e722b2ace144a2b73a782f265 (diff) | |
Merge pull request #1018 from lnslbrty/fix/make-dist
Fixed broken `make dist' and added CI check.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions