From 11b2034df809c74501736b23d017744a6ddd8f43 Mon Sep 17 00:00:00 2001
From: Benoit Foucher <benoit@zeroc.com>
Date: Mon, 26 Nov 2018 19:39:02 +0100
Subject: Added missing devRepo property setting to gradle.properties

---
 csharp/test/xamarin/controller.Android/controller.Android.csproj | 1 +
 1 file changed, 1 insertion(+)

(limited to 'csharp/test/xamarin/controller.Android/controller.Android.csproj')

diff --git a/csharp/test/xamarin/controller.Android/controller.Android.csproj b/csharp/test/xamarin/controller.Android/controller.Android.csproj
index 39a5e89d855..75472fe4d77 100644
--- a/csharp/test/xamarin/controller.Android/controller.Android.csproj
+++ b/csharp/test/xamarin/controller.Android/controller.Android.csproj
@@ -20,6 +20,7 @@
     <NuGetPackageImportStamp>
     </NuGetPackageImportStamp>
     <AndroidKeyStore>false</AndroidKeyStore>
+    <UseShortFileNames>True</UseShortFileNames>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
     <DebugSymbols>true</DebugSymbols>
-- 
cgit v1.2.3