diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-12-12 12:43:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-12 12:43:44 +0100 |
| commit | 037d5c4299354508cd33c0c5e5c382d7dd2431e4 (patch) | |
| tree | 311ffcdf6c910f4815e044b047bf95118f1d9f9d /shell.nix | |
| parent | 786402365e9c819235636d9300bd25c362a29db7 (diff) | |
Manual improvements
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions