created header file including all others

2022-05-12 17:04:49 +02:00 · 2022-05-12 17:04:49 +02:00 · d1447a2796
commit d1447a2796
parent 6486f500b6
1 changed files with 9 additions and 0 deletions
--- a/include/why2.h
+++ b/include/why2.h
@ -0,0 +1,9 @@
+#ifndef WHY2_WHY2_H
+#define WHY2_WHY2_H
+
+#include <why2/decrypter.h>
+#include <why2/encrypter.h>
+#include <why2/flags.h>
+#include <why2/misc.h>
+
+#endif