diff options
| author | stuebinm | 2021-04-04 02:57:04 +0200 |
|---|---|---|
| committer | stuebinm | 2021-04-04 02:57:04 +0200 |
| commit | f111b082493bfc57dbe3fa1edf74581b5957c18f (patch) | |
| tree | b8e8f3bc1f70ea428ba69b3311ebc3e93df9057d /isabelle-nix-fhsenv | |
| parent | 23b5db16ce09eb8a73b439a604f49fc7018df53c (diff) | |
add simple readme
Diffstat (limited to 'isabelle-nix-fhsenv')
0 files changed, 0 insertions, 0 deletions