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 !

Commit 6ea2d86b authored by Dominique Marcadet's avatar Dominique Marcadet

Merge branch '7-remove-empty-files-with-strange-names-in-icons-folder-edit-plugin' into 'master'

Resolve "Remove empty files with strange names in icons folder (edit plugin)"

Closes #7

See merge request RiseClipseGroup/RiseClipseMetamodel_SCL2003!6
parents 60354c25 646c54fb