summaryrefslogtreecommitdiff
path: root/Util/VS2010/Boogie/..svnbridge/BoogieLanguageService.suo
diff options
context:
space:
mode:
Diffstat (limited to 'Util/VS2010/Boogie/..svnbridge/BoogieLanguageService.suo')
-rw-r--r--Util/VS2010/Boogie/..svnbridge/BoogieLanguageService.suo1
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/VS2010/Boogie/..svnbridge/BoogieLanguageService.suo b/Util/VS2010/Boogie/..svnbridge/BoogieLanguageService.suo
new file mode 100644
index 00000000..08149303
--- /dev/null
+++ b/Util/VS2010/Boogie/..svnbridge/BoogieLanguageService.suo
@@ -0,0 +1 @@
+<?xml version="1.0" encoding="utf-8"?><ItemProperties xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><Properties><Property><Name>svn:mime-type</Name><Value>application/octet-stream</Value></Property></Properties></ItemProperties> \ No newline at end of file