git.immae.eu Git - perso/Immae/Config/Nix.git/tree - modules/private/websites/isabelle/

]> git.immae.eu Git - perso/Immae/Config/Nix.git/tree - modules/private/websites/isabelle/

projects / perso / Immae / Config / Nix.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[perso/Immae/Config/Nix.git] / modules / private / websites / isabelle /

drwxr-xr-x		..
-rw-r--r--	3306	aten_integration.nix	blob \| blame \| history \| raw
-rw-r--r--	3163	aten_production.nix	blob \| blame \| history \| raw
-rw-r--r--	1017	iridologie.nix	blob \| blame \| history \| raw

My infrastructure configuration