From 8e2e3a89aeef90872ab14182351dc53ded28cb36 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Sat, 11 Jun 2022 16:27:52 +0200
Subject: [PATCH] added 'git.h' to 'why2.h'

---
 include/why2.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/why2.h b/include/why2.h
index 5da47c9..1595f82 100644
--- a/include/why2.h
+++ b/include/why2.h
@@ -10,6 +10,7 @@
 #include <why2/decrypter.h>
 #include <why2/encrypter.h>
 #include <why2/flags.h>
+#include <why2/git.h>
 #include <why2/misc.h>
 
 #endif
\ No newline at end of file