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 !

change names in pom files and of main classes

2 jobs for 6-update-to-new-repository-name in 38 seconds
Status Job ID Name Coverage
  Build
passed #14818
riseclipse
build

00:00:19

 
  Deploy
passed #14819
riseclipse
deploy

00:00:19