From 8515b32d239f46efab7103e5c8d218cbfa811dc8 Mon Sep 17 00:00:00 2001
From: Andras Slemmer <andras.slemmer@r3cev.com>
Date: Thu, 10 Nov 2016 12:21:28 +0000
Subject: [PATCH] settings.gradle: Revert to using / instead of : for docs
 example-code

---
 settings.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/settings.gradle b/settings.gradle
index 863f7e76eb..28fe8a81f3 100644
--- a/settings.gradle
+++ b/settings.gradle
@@ -10,4 +10,4 @@ include 'tools:explorer'
 include 'gradle-plugins:quasar-utils'
 include 'gradle-plugins:publish-utils'
 include 'gradle-plugins:cordformation'
-include 'docs:source:example-code'
+include 'docs/source/example-code' // Note that we are deliberately choosing to use '/' here. With ':' gradle would treat the directories as actual projects.