From f699e63e3c54eec51067fc9e74f85341ed3b75af Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 13 Feb 2020 12:04:51 +0000
Subject: Add CompCert as a library

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
index e69de29..f30817e 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "lib/CompCert"]
+	path = lib/CompCert
+	url = https://github.com/ymherklotz/CompCert.git
-- 
cgit