commit dfeb7517497f8332be3208f97a0c39599f1b84a3 parent 7c18b07f8557d5bbbde2c5e00ce21fc7e01d993a Author: deurzen <m.deurzen@tum.de> Date: Tue, 17 May 2022 21:30:16 +0200 adds protocols header directory Diffstat:
A | include/protocols/.gitignore | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/include/protocols/.gitignore b/include/protocols/.gitignore @@ -0,0 +1 @@ +/[^.]*