diff options
Diffstat (limited to 'default.xml')
| -rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index e4fa85b9..4a0f9630 100644 --- a/default.xml +++ b/default.xml @@ -11,7 +11,7 @@ <remote name="github" fetch="https://github.com/" /> <!-- defaults --> - <default remote="agl" sync-j="4" revision="master"/> + <default remote="agl" sync-j="4" revision="halibut"/> <!-- CORE --> |