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 025d36c7 authored by Andrei Paskevich's avatar Andrei Paskevich


parent 9ec2f5d8
......@@ -31,7 +31,7 @@ let meta_enco_kept = register_meta_excl "enco_kept" [MTstring]
~desc:"Specify@ the@ type@ protection@ transformation:@; \
- @[<hov 2>twin: use@ conversion@ functions@ between@ the@ kept@ types@ \
and@ the@ universal@ type@]@\
and@ the@ universal@ type@]\
let meta_enco_poly = register_meta_excl "enco_poly" [MTstring]
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