tree d9df4d9870a7418c3b94f92a534821de16d1f6db
parent f2c4c53208ba4168f1c1543f77fc60bd0bc9b709
author Davide Pesavento <davidepesa@gmail.com> 1593829963 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1594418052 -0400

docs: fix syntax highlighting of code blocks

And various other cleanups

Change-Id: If945f5407036e73db980cafd2185359a488a0ff1