tree c1c4870755468789adf93d58aa1743338f5db418
parent 737103670a99827bf9cade3b1749bed3ecf4a372
author Davide Pesavento <davidepesa@gmail.com> 1607745602 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1607909254 -0500

docs: clarify/revise a few code style rules

Change-Id: I4aaaa314f310e4d3a345690fc527805e2d9c1416