Skip to content

GitLab

Replaced the materials search menu entry with a link to the NOMAD Encyclopedia.

12 jobs for 723-gui-updates in 40 minutes and 27 seconds (queued for 2 seconds)
b32ebe08
1 related merge request: !534 Resolve "GUI updates"