Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Eclipse Foundation
IT
Websites
events.eclipse.org
Merge requests
!246
Merged
Created
Dec 07, 2021
by
Philippe Krief
@pkriefrvi
Guest
Options
Added references the proceedings
Overview
2
Commits
1
Changes
2
Signed-off-by: Philippe Krief
philippe.krief@eclipse-foundation.org