diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-04-04 09:44:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-04 09:44:47 +0200 |
| commit | d93c1514ebcf71390c8a8070759487e5a40dcc6f (patch) | |
| tree | 68f6b052cee118b63a5f3e4a2971b5bc75ef0a19 /.gitignore | |
| parent | 523c3f722564f92e6dd7cd6256474c6d23db11b4 (diff) | |
| parent | 5bb6e3bfafbcd101962b39ce579ee56d670cd83a (diff) | |
Merge pull request #7944 from yorickvP/fix-curRepl
NixRepl::mainLoop: restore old curRepl on function exit
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions