last-before-sharing

This commit is contained in:
ycc
2022-08-29 15:40:29 +02:00
parent dee68043d1
commit 3966299a91
15 changed files with 1287 additions and 18 deletions

8
.gitignore vendored Normal file
View File

@ -0,0 +1,8 @@
doc/protocol.aux
doc/protocol.fdb_latexmk
doc/protocol.fls
doc/protocol.log
doc/protocol.pdf
doc/protocol.synctex.gz
out/doc/general_deployment/general_deployment.png
out/doc/server_deployment/server_deployment.png