tree 9e98d8f55d4b69e058d2660853113599e6a00866
parent f27dc1fce2aad00d4bb6f497f4a85bc6780c1864
author Matt Venn <matt@mattvenn.net> 1669984440 +0100
committer Matt Venn <matt@mattvenn.net> 1669984440 +0100

fix GL include. fix formatting of GL instructions in VERIFICATION doc