aboutsummaryrefslogtreecommitdiff
path: root/modules/private/websites/isabelle/aten_integration.nix
diff options
context:
space:
mode:
authorIsmaël Bouya <ismael.bouya@normalesup.org>2020-05-04 00:15:16 +0200
committerIsmaël Bouya <ismael.bouya@normalesup.org>2020-05-04 00:15:16 +0200
commit3dd7ddbbf0b806710815d3f7e7923ced97fcb61c (patch)
tree1a8fbaf91d3a55ed1c523bdcb6a951786ed1361e /modules/private/websites/isabelle/aten_integration.nix
parent4b0a82cc2f4597a11b9275cf156ae9cceffaf44f (diff)
downloadNix-3dd7ddbbf0b806710815d3f7e7923ced97fcb61c.tar.gz
Nix-3dd7ddbbf0b806710815d3f7e7923ced97fcb61c.tar.zst
Nix-3dd7ddbbf0b806710815d3f7e7923ced97fcb61c.zip
Remove blank target from landing page
Diffstat (limited to 'modules/private/websites/isabelle/aten_integration.nix')
0 files changed, 0 insertions, 0 deletions