diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-08-16T14·15+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-16T14·15+0200 |
commit | f435634a29551754d5f7303b0a60cd8fe2df2079 (patch) | |
tree | f0c33d03dc692f5d2108b78f2bd898206bf4dfe7 /Makefile.config.in | |
parent | b7ea98bf3409a29bb6412c6a17a896ba1c1f524a (diff) | |
parent | b226b5cd976ca71abb3c0861b56d5e5940430924 (diff) |
Merge pull request #3041 from zimbatm/nix-store-error-13
Fix for `unknown serve command 13`
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions