diff options
| author | stuebinm | 2021-05-07 23:50:42 +0200 |
|---|---|---|
| committer | stuebinm | 2021-05-07 23:50:42 +0200 |
| commit | 8bb7cbacc2a5a714f940d1cd5aee4d843f40b707 (patch) | |
| tree | adfa8dbbe2a714f2c80fdf3da45df066aacbe2b5 /isabelle-nix-fhsenv/Readme.org | |
| parent | d8a1a9a1c04b147da627a318cc5344c74bd2af36 (diff) | |
experimenting with nixos modules in oci containers
See the Readme.org file for what this is.
Diffstat (limited to 'isabelle-nix-fhsenv/Readme.org')
0 files changed, 0 insertions, 0 deletions