Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit a030ab01 authored by Mathieu Faverge's avatar Mathieu Faverge

Add a temporary option to enable/disable data migration

parent 898ea742
......@@ -102,6 +102,9 @@ set( RP_CHAMELEON_DICTIONNARY ${MORSE_CMAKE_MODULE_PATH}/precision_generator/sub
"This options enables the data migration in QR algorithms" OFF)
# Options to select the runtime
# -----------------------------
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