Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
E
envsetup
Manage
Activity
Members
Plan
Redmine
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Releases
Container Registry
Model registry
Analyze
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
mediaserver
envsetup
Repository
Something went wrong on our end
6d7d1455257f9fe8481bb6f241e7bdec6d4afb3b
Select Git revision
Branches
2
master
default
stable
Tags
7
mediaserver-10.0.0
mediaserver-9.7.1
mediaserver-9.7.0
mediaserver-9.6.0
mediaserver-9.5.0
mediaserver-9.4.0
no-ansible
9 results
envsetup
set_app_domain.py
Find file
Blame
Permalink
6 years ago
6d7d1455
Renamed Campus Manager to Miris Manager (refs
#28045
).
· 6d7d1455
Stéphane Diemer
authored
6 years ago
6d7d1455
History
Renamed Campus Manager to Miris Manager (refs
#28045
).
Stéphane Diemer
authored
6 years ago