diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-06 17:08:54 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-06 17:08:54 +0200 |
| commit | cd8eb8a7d1bd4d2405df9f0d6aeeaa3e24c7d593 (patch) | |
| tree | 87cef1989aa5f5f4fbabf5ae341f503971a81286 /Makefile.config.in | |
| parent | 54712aaf8a4d9d6a42232fe9b360fc72f35ed02d (diff) | |
nix develop: Fall back to "bash" if nixpkgs#bashInteractive is unavailable
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions