Gitlab is now using as it's primary address. Please update your bookmarks. FAQ.

Commit 6d24a079 authored by Laurent Heirendt's avatar Laurent Heirendt
Browse files

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request R3/labCards!1
parents 4143a7d3 f0bdc80a
<meta http-equiv="Refresh" content="0; url=" />
<script type="text/javascript" src=""></script>
<script type="text/javascript">
function UrlExists(url, cb){
url: url,
dataType: 'text',
type: 'GET',
complete: function(xhr){
if(typeof cb === 'function')
cb.apply(this, [xhr.status]);
UrlExists('', function(status){
if(status === 200){
// internal pages
window.location.href = '';
} else {
// external pages
window.location.href = '';
Markdown is supported
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