From 0a4b578cfd2b33e22afa6a19ada19a6db77209e7 Mon Sep 17 00:00:00 2001 From: Dirk Alders Date: Wed, 6 Jan 2021 23:02:39 +0100 Subject: [PATCH] socket_protocol added to documentation --- Makefile | 1 + socket_protocol | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f0615ac..23fbf2f 100644 --- a/Makefile +++ b/Makefile @@ -7,6 +7,7 @@ SPHINXBUILD = sphinx-build SOURCEDIR = . BUILDDIR = _build MODULES = $(sort \ + socket_protocol\ state_machine\ stringtools\ stringtools.csp\ diff --git a/socket_protocol b/socket_protocol index eff44b7..35d9f68 160000 --- a/socket_protocol +++ b/socket_protocol @@ -1 +1 @@ -Subproject commit eff44b7988cbdaf87865010b5b8919dc0d6f31db +Subproject commit 35d9f688a4f080a8cae70a18e27036b55399edde