autopushed

This commit is contained in:
2022-08-21 14:43:17 +02:00
parent 49593b594d
commit a1960377ce
+1 -1
View File
@@ -11,7 +11,7 @@
- [ ] [[edit]] - [ ] [[edit]]
- [ ] write - [ ] write
- add topics to add to the agora protocol section up top - add topics to add to the agora protocol section up top
- - expand some [[agora protocol]] sections
- [ ] code - [ ] code
- set up sync to google docs (simple) - set up sync to google docs (simple)
- agora protocol sections could be elided my pandoc by default? - agora protocol sections could be elided my pandoc by default?