Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Print a message pointing to the online playground if compiled without…
… it (#9622) * Print a message pointing to the online playground if compiled without it * Use more precise message when playground is not compiled in This way, is more clear, that the playground and the online page are not the same tools.
- Loading branch information