E.11 Comments

We use C-style comments (/* comment */) exclusively, even on single-line comments. C++ comments (// comment) are not permitted.

This document was generated by root on October 14, 2020 using texi2html 1.82.