Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
On Thursday, 7th July from 1 to 3 pm there will be a maintenance with a short downtime of GitLab.
Open sidebar
nomad-lab
nomad-FAIR
Merge requests
!208
Merged
Created
Nov 09, 2020
by
Markus Scheidgen
@mscheidg
Owner
Options
Metainfo improvements (
#419
): aliases instead of synonyms, documentation, browser improvements.
Overview
0
Commits
3
Pipelines
1
Changes
6