os:ubuntu

メディアマネージャー

名前空間

名前空間を選択

[ルート]
- bash
- gimp
- gitlab
  - トラブルシューティング
- home
- openfoam
- tools
- web
- wiki

gitlab:トラブルシューティング内で検索