tree 23d040e7968841c3523e2aaf6077dc0fc163d213
parent c7caa5066e915c1ad5fa608f02e40eef79a6e988
author Myles Watson <mylesgw@google.com> 1479941394 -0800
committer Myles Watson <mylesgw@google.com> 1480622961 -0800

Fix asterisks in block quotes

Remove double asterisks from block quotes.

git grep -lP '^[*][*]'  | xargs  sed 's/^[*][*]/ \*/' -i

Fix asterisk line lengths

 git grep -l '^[ /][*]\{79,\}[*/]' | \
   xargs sed -i s,"^\([ /]\)[*]\([*]\{78\}\)[*]*\([*/]\)","\1\2\3",

Test: mma -j32
Change-Id: Ie3fd375ac2f804cb0f53bf1314a005e85973b3d7