view public/javascripts/repository.js @ 1543:05d639e5d59b feature_1136

First cut of a git export script
author Chris Cannam
date Tue, 12 Jan 2016 15:15:02 +0000
parents 3d01be97cb5a
children
line wrap: on
line source
function toggle_ext_url() {
    if (document.getElementById('repository_is_external').checked) {
        document.getElementById('repository_external_url').disabled = false;
    } else {
	document.getElementById('repository_external_url').disabled = true;
    }
}