From 721ca6fc423e85f8c1ecc93740b3ed044fc65c21 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Tue, 4 May 2021 14:38:09 +0300
Subject: get rid of SafeInt

---
 3rdparty/microsoft/SafeInt | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 3rdparty/microsoft/SafeInt

(limited to '3rdparty')

diff --git a/3rdparty/microsoft/SafeInt b/3rdparty/microsoft/SafeInt
deleted file mode 160000
index 66b9633..0000000
--- a/3rdparty/microsoft/SafeInt
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 66b9633cf4d4102f85e7de3db50f21e25228e9ab
-- 
cgit v1.2.3