diff --git a/hosts b/hosts index 906cf4e4..45afc313 100644 --- a/hosts +++ b/hosts @@ -314,7 +314,6 @@ belenios.adm.crans.org boeing.adm.crans.org c3po.adm.crans.org cas.adm.crans.org -codichotomie.adm.crans.org constellation-dev.adm.crans.org eclat.adm.crans.org ethercalc.adm.crans.org