diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-04-08 16:11:17 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-04-08 16:11:17 +0200 |
| commit | 101d964a59d5c9098845d3109ea1eba99b5f31df (patch) | |
| tree | 8a738ce81315587f8bbc9260a05dd4a8e5ae344f /.github | |
| parent | 9b7eac332b6af48f7ee5dc820c75706b4cb22c46 (diff) | |
nix: Make -f work for compatibility
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions