diff options
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 34e22026e..ad86ee740 100644 --- a/default.xml +++ b/default.xml @@ -13,6 +13,7 @@ <project path="external/flatbuffers" name="platform/external/flatbuffers" groups="pdk" clone-depth="1" revision="master" /> <project path="external/webview_support_interfaces" name="platform/external/webview_support_interfaces" groups="pdk" clone-depth="1" revision="a3b89bdb34877bb0ea90aaa0d207969ad943d4fc" /> <project path="external/doclava" name="platform/external/doclava" groups="pdk" clone-depth="1" revision="master" /> + <project path="external/dokka" name="platform/external/dokka" groups="pdk" clone-depth="1" revision="master" /> <project path="external/jdiff" name="platform/external/jdiff" groups="pdk" clone-depth="1" revision="master" /> <project path="prebuilts/androidx/external" name="platform/prebuilts/androidx/external" groups="pdk" clone-depth="1" /> <project path="prebuilts/androidx/internal" name="platform/prebuilts/androidx/internal" groups="pdk" clone-depth="1" /> |