Closed jimklimov closed 4 years ago
Make the playground tidier, so other PRs can concentrate just on their improvements :)
Coverage remained the same at 88.526% when pulling 08e046a0aa7a84c525bc4f51f4e9a59c1217b951 on jimklimov:docs-cleanup into f01386b62c9e4ac848cb39543bb96b6329e3d120 on oetiker:master.
Make the playground tidier, so other PRs can concentrate just on their improvements :)