view public/javascripts/repository.js @ 1559:21098b932cb8 feature_1136

Separate out git repo dir and work dir (so as to serve repo dir only)
author Chris Cannam
date Thu, 14 Jan 2016 10:27:25 +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;
    }
}