From f6af7c442df3e569492ced730e70d1bc72356c5e Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Sat, 15 May 2021 21:22:50 +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 a77fa86..0000000
--- a/3rdparty/microsoft/SafeInt
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit a77fa86b5c1e1486ac90944568174c804a599e77
-- 
cgit v1.2.3