HoTT work in progress

This commit is contained in:
pascallanger
2019-11-04 09:26:12 +01:00
parent 6ef2934c18
commit 7b281e47d6
3 changed files with 218 additions and 2 deletions

View File

@@ -19,7 +19,7 @@
#define VERSION_MAJOR 1
#define VERSION_MINOR 3
#define VERSION_REVISION 0
#define VERSION_PATCH_LEVEL 32
#define VERSION_PATCH_LEVEL 33
//******************
// Protocols