summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@kiwwwi.com.ar>2012-01-23 12:06:56 -0300
committerNicolás Reynolds <fauno@kiwwwi.com.ar>2012-01-23 12:06:56 -0300
commit88773a8de82e8064fcf1e9fb6b73d64c717b7cd3 (patch)
tree8989e24e9e6181dc60590576c5d0b3f202c93f8d
parent47b0e5207b933e5563324c92c8a1841322cde6e9 (diff)
Cross-toolchains repo
-rw-r--r--config2
1 files changed, 1 insertions, 1 deletions
diff --git a/config b/config
index 1304e01..4de9d00 100644
--- a/config
+++ b/config
@@ -10,7 +10,7 @@ OURREPOS=('libre' 'libre-testing')
# User repos
USERREPOS=('~fauno' '~smv' '~xihh' '~mtjm' '~brendan' '~lukeshu')
# Community project repos
-PROJREPOS=('social' 'elementary' 'kernels' 'radio' 'security' 'sugar' 'gnu')
+PROJREPOS=('social' 'elementary' 'kernels' 'radio' 'security' 'sugar' 'gnu' 'cross')
# Remote repos
RMTREPOS=('connos' 'connos-extra')
PKGREPOS=(${ARCHREPOS[@]} ${OURREPOS[@]} ${USERREPOS[@]} ${PROJREPOS[@]})