Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

rate_independence_05.bc 73 Bytes
Newer Older
1
2
3
4
a+b=>c+d.
c+d=>e.
e=>c.
e=>f.
SOLIMAN Sylvain's avatar
SOLIMAN Sylvain committed
5
prolog('writeln("Undecided: fork on e")').