Skip to content
Snippets Groups Projects
Commit 05d2e1e5 authored by Philipp Spilger's avatar Philipp Spilger
Browse files

Switch to gerrit.bioai.eu as default git server

Change-Id: I621e96168e56101d85a0e4c9cb10609a58e945b5
parent 753dfd86
No related branches found
No related tags found
No related merge requests found
[gerrit]
host=brainscales-r.kip.uni-heidelberg.de
host=gerrit.bioai.eu
port=29418
project=libnux
defaultbranch=master
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment