terminal: tweak splash screen Rs #3148
nick1udwigAnnotations
1 error
|
format
Changes must be made through a pull request. - https://docs.github.com/articles/about-protected-branches
|