From 570be9543a034d17591f91c9e46b593c9e4ad7f4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nguy=E1=BB=85n=20Gia=20Phong?= <mcsinyx@disroot.org>
Date: Thu, 30 Mar 2023 20:11:04 +0900
Subject: Implement differentiator extraction

---
 tools/symbdiff | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 tools/symbdiff

(limited to 'tools/symbdiff')

diff --git a/tools/symbdiff b/tools/symbdiff
new file mode 160000
index 00000000..cf6ac164
--- /dev/null
+++ b/tools/symbdiff
@@ -0,0 +1 @@
+Subproject commit cf6ac1646a956657d69fe698486e6fef3220141c
-- 
cgit v1.2.3