tree 5d248a87d39151d50ccffd380c719baa317aa51e
parent 7f38ed0bfa18ea236d2cf21e502ab1a2ad5af3d5
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1391527087 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1391678918 +0100

Enforce our choice of allowed curves.