0210c56e76 · Add options_ghc · Actualisé 2020-01-14 23:00:00 +00:00
La suppression d’une branche est permanente. Bien qu’une branche supprimée puisse temporairement subsister, elle NE PEUT PAS être facilement restaurée. Continuer ?