Merge "Use Git server (mirror) to avoid fetching problems" into release-4-5-patches
authorTeemu Murtola <teemu.murtola@gmail.com>
Tue, 21 Feb 2012 18:52:10 +0000 (19:52 +0100)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Tue, 21 Feb 2012 18:52:10 +0000 (19:52 +0100)
commit8dc45083942d405860a5062d7fa6455b34f33736
treea2c2ecf02971b4805216a1e63b5f59fac7150a1c
parentd7ebbf2608b4b303da387ae5c4a3e0352d26f765
parent0e87a2fc27d1f067c782156a89ed0c988d4a431a
Merge "Use Git server (mirror) to avoid fetching problems" into release-4-5-patches