Closed eclipse-egf-bot closed 3 years ago
ci-bot commented on 2016-05-16
Merged to [master]. Commit: http://git.eclipse.org/c/egf/org.eclipse.emf.egf.git/commit/?id=b7830fe984ee1ff5b3d2b188a1691baff57b8ac5
thomas.guiu commented on 2016-05-18
done
File is missing from org.eclipse.egf.doc.user plugin
🆔 ECLIPSE-493732
👷 thomas.guiu
📅 2016-05-16
🔎 1.0