diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-06-04 10:57:40 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-06-04 10:57:40 +0200 |
| commit | 61e3d598b67290ca66f34fcac7b7373f506240da (patch) | |
| tree | 317c6601af878982b211ab514a7abf801aca1ec3 /Makefile | |
| parent | 01572c2198de49071827f0be9f5db202bac21703 (diff) | |
Rename 'nix dev-shell' to 'nix develop'
Fixes #3648.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions