diff options
| author | stuebinm | 2021-05-07 23:58:55 +0200 |
|---|---|---|
| committer | stuebinm | 2021-05-08 00:00:33 +0200 |
| commit | 2b83a3f6b808cce5057a96e3911bf17ef4e0b68e (patch) | |
| tree | 22084be32f696bdfa620a518d05a9675b0ca76e1 /isabelle-nix-fhsenv/Readme.org | |
| parent | 8bb7cbacc2a5a714f940d1cd5aee4d843f40b707 (diff) | |
nixos zoom iso: some comments on what this is
Diffstat (limited to 'isabelle-nix-fhsenv/Readme.org')
0 files changed, 0 insertions, 0 deletions