diff options
| author | stuebinm | 2021-07-20 20:43:16 +0200 |
|---|---|---|
| committer | stuebinm | 2021-07-20 20:43:16 +0200 |
| commit | 3d498c134a9c0ab61c86a233edd0b2eb76ef44eb (patch) | |
| tree | 944d1735a932ecabe3d07a01b0dcb22d7b12adc8 /isabelle-nix-fhsenv/default.nix | |
| parent | b160fc2033cfa8a356098d962bab790ec273ec03 (diff) | |
playing around with IO in Nix
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions