diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2019-07-22 23:09:58 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2019-07-23 00:14:09 +0200 |
commit | 886679f0785782f7918387b9f4c23d362db5e950 (patch) | |
tree | 6ed8992df3224895cb18796011db9c6ae005d918 /default.xml | |
parent | d2e3c2339a1d314d0f08e00cbfa8bc2e82304c54 (diff) | |
download | manifest-history/23-07-2019.tar.gz manifest-history/23-07-2019.tar.bz2 manifest-history/23-07-2019.zip |
Move replicant-9 repositories in their own directoryhistory/23-07-2019
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'default.xml')
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 1fd102e..3fa81b4 100644 --- a/default.xml +++ b/default.xml @@ -639,6 +639,7 @@ <!-- Replicant repositories --> <include name="replicant/gnutoo.xml" /> <include name="replicant/putti.xml" /> + <include name="replicant/replicant-9.xml" /> <include name="replicant/samsung-ril.xml" /> </manifest> |