diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-02 16:11:49 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2023-03-02 16:11:49 +0100 |
commit | 9c79ce353d1714f948ba116f3fc696639aaacbf6 (patch) | |
tree | b4bdee36262c4af62596726a4883aff9b276274c /.github | |
parent | b9370fd7a040558cc8c7d5db109fdd3e407ff409 (diff) |
Fix 'make check' inside 'nix develop'
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions