New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[std] Fix bad \grammarterms #5153

Merged

tkoeppe merged 2 commits into cplusplus:main from jensmaurer:c67

Jan 14, 2022

Member

jensmaurer commented Dec 17, 2021

Also adds a check. This essentially flags typos inside \grammarterm.

jensmaurer added 2 commits

December 17, 2021 01:24


          [std] Fix bad \grammarterms

b3f1ccc


          [check] Add check for use of undefined \grammarterms

332f5be

jensmaurer assigned tkoeppe

Contributor

tkoeppe commented Jan 14, 2022

Very nice!

tkoeppe merged commit 1d63721 into cplusplus:main

jensmaurer deleted the c67 branch

January 14, 2022 17:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment