Home
last modified time | relevance | path

Searched refs:remote_source (Results 1 – 1 of 1) sorted by relevance

/plugin/gitbacked/lib/
H A DGit.php157 … \action_plugin_gitbacked_editcommit $plugin = null, $source = null, $remote_source = false, $refe… argument
163 if ($remote_source) {