Coupure prévue mardi 3 Août au matin pour maintenance du serveur. Nous faisons au mieux pour que celle-ci soit la plus brève possible.

Commit ebe54c68 authored by Thomas's avatar Thomas
Browse files

pico modif pour push

parent 0996dc3e
......@@ -73,7 +73,7 @@ void EmbeddedGMap3::unsewVolumes(Dart d)
{
Dart dd = phi1(phi3(d));
if(phi3(d)!=d)
if(beta3(d)!=d)
{
GMap3::unsewVolumes(d);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment