diff --git a/docs/codingstyle.html b/docs/codingstyle.html index 3284ca6970e..66ffc0c33bf 100644 --- a/docs/codingstyle.html +++ b/docs/codingstyle.html @@ -56,11 +56,11 @@ and not a=b+c; indent -br -i3 -npcs --no-tabs infile.c -o outfile.c -
  • Use comments wherever you think it would be helpful for other developers. +
  • +

    Use comments wherever you think it would be helpful for other developers. Several specific cases and style examples follow. Note that we roughly follow Doxygen conventions. -
    -
    +

    Single-line comments:
        /* null-out pointer to prevent dangling reference below */