]> git.immae.eu Git - perso/Immae/Config/Nix.git/history - isabelle/iridologie.nix
projects / perso / Immae / Config / Nix.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix warning for loki
[perso/Immae/Config/Nix.git] / isabelle / iridologie.nix
My infrastructure configuration