Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

Merge branch '24-functionalconstraint-has-also-a-titleid-attribute' into 'master'

Resolve "FunctionalConstraint has also a titleID attribute"

Closes #24

See merge request !23
2 jobs for 26-update-to-new-console-handling-changes-in-main in 30 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #14665
riseclipse
build

00:00:15

 
  Deploy
passed #14666
riseclipse
deploy

00:00:15