Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
nomad-lab
encyclopedia-gui
Repository
encyclopedia-gui
client
index.html
Find file
Blame
History
Permalink
Several UI improvements
· 92194480
Iker Hurtado
authored
Feb 19, 2021
- Enable a user message area - Element table size reduction - Some graphical changes
92194480
Iker Hurtado authored