| commit | 33ce224dc9de028465a09314516ca80fc2ff2be2 | [log] [tgz] |
|---|---|---|
| author | maxwen <max.weninger@gmail.com> | Tue Dec 01 20:45:29 2020 +0100 |
| committer | maxwen <max.weninger@gmail.com> | Tue Dec 01 20:45:29 2020 +0100 |
| tree | 592ef9b3521bc5c3a33b8f2d594ef7b170de443c | |
| parent | 5ae021e1da9af2908f1c09326de0408f2329720d [diff] [blame] |
manifest: include omni-extras by default Change-Id: I4e3f738e5a922df10b0c052c9b9a89690adfa8a7
diff --git a/omni-default.xml b/omni-default.xml index f2c8ccd..ac06540 100644 --- a/omni-default.xml +++ b/omni-default.xml
@@ -12,7 +12,7 @@ <!-- include registered repos --> <include name="omni-private.xml" /> - <!--<include name="omni-extra.xml" />--> + <include name="omni-extra.xml" /> <!-- OmniROM Projects --> <project path="android" name="android" remote="omnirom" revision="android-11" />