On Fri, Aug 7, 2020 at 11:17 AM Richard Haines <richard_c_haines@xxxxxxxxxxxxxx> wrote: > > Add a TOC to aid navigation and convert HTML tables to either pipe tables > or markdown unordered lists. > > Signed-off-by: Richard Haines <richard_c_haines@xxxxxxxxxxxxxx> > --- > src/kernel_policy_language.md | 1016 ++++++--------------------------- > 1 file changed, 182 insertions(+), 834 deletions(-) Merged, thanks for your patience! -- paul moore www.paul-moore.com
