feat(web01): Add redirections

This commit is contained in:
Tom Hubrecht 2024-04-02 20:57:13 +02:00
parent 3bede07e53
commit 317cdf4abd

View file

@ -37,6 +37,9 @@ let
"rdv.dgnum.eu".to = "meet.dgnum.eu";
"www.bda.ens.fr".to = "bda.ens.fr";
"bda.wp.dgnum.eu".to = "bda.ens.fr";
"www.tuteurs.ens.fr".to = "tuteurs.ens.fr";
"www.interq.ens.fr".to = "interq.ens.fr";
"www.lanuit.ens.fr".to = "lanuit.ens.fr";
};
retired = mkSubs {