Revision 0b27900ade3d4a789c66ad5397b8edc716452228 authored by Alex Arslan on 22 December 2017, 22:26:24 UTC, committed by GitHub on 22 December 2017, 22:26:24 UTC
This documents Jeff's proposed convention in #19150 in the manual's
style guide.

Fixes #19150
1 parent 5f14f11
Raw File
VERSION
0.7.0-DEV
back to top