From 3d3d391aed616abf8754621c8246a500dddef788 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Tue, 4 May 2021 15:16:14 +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 a5408ba..0000000
--- a/3rdparty/microsoft/SafeInt
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit a5408ba2c025ec99a7afb6ccca907d5a263242a5
-- 
cgit v1.2.3