From ccc02c997071ee7391a5587125e0c8423d4adc1b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stefan=20B=C3=BChler?= <stbuehler@web.de>
Date: Sun, 17 Mar 2019 21:09:45 +0100
Subject: [PATCH] add microsoft prod repo

---
 sources.list.d/microsoft-prod.sources | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 sources.list.d/microsoft-prod.sources

diff --git a/sources.list.d/microsoft-prod.sources b/sources.list.d/microsoft-prod.sources
new file mode 100644
index 0000000..bfdbc98
--- /dev/null
+++ b/sources.list.d/microsoft-prod.sources
@@ -0,0 +1,6 @@
+Types: deb
+URIs: https://packages.microsoft.com/debian/9/prod
+Suites: stretch
+Components: main
+Architectures: amd64
+Signed-By: /etc/apt/single-keys/microsoft.key