diff options
author | stuebinm | 2021-05-28 18:38:51 +0200 |
---|---|---|
committer | stuebinm | 2021-05-28 18:38:51 +0200 |
commit | 818f7a68df4ca0221107b2d07eb502b16fa6d653 (patch) | |
tree | e8939bed4a329fc37dc06e466ea53e4c7d4626c5 /isabelle-nix-fhsenv/Readme.org | |
parent | 855acf6b984855646119551b39bffb4cf169dc40 (diff) |
hakyll wrapped in a nix derivation
(see the Readme.org file for more information)
Diffstat (limited to 'isabelle-nix-fhsenv/Readme.org')
0 files changed, 0 insertions, 0 deletions