diff options
| author | Aleksey Kuznetsov | 2023-04-16 18:44:12 +0000 |
|---|---|---|
| committer | GitHub | 2023-04-16 18:44:12 +0000 |
| commit | 7706ff77eb8aea9471af822355cad337707b9fc5 (patch) | |
| tree | 63c6291a841c803073a13b4a55fdd76169c61f9e /shell.nix | |
| parent | 7607727483dbc6461749e3c2d9b9305431eb8fb2 (diff) | |
make :toggle-option print the new value (#6774)
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions