diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-09-21 13:50:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-21 13:50:49 +0200 |
| commit | f704c2720f136a6bb73a2e91d4a85e0e9a42ff6f (patch) | |
| tree | ae1f37fcd2ba5a82237094b60cd8bf78d56c315a /Makefile.config.in | |
| parent | 9dadb5481cdf848c409e6a7e4953acf4861923a5 (diff) | |
| parent | d234d01f010e99c1519b849dd50a502a8af7ede1 (diff) | |
Merge pull request #7070 from alyssais/repl-history
nix repl: warn if creating dir for history fails
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions