Skip to content
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.

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

[lib] Index all uses of public concepts #4477

Merged
merged 1 commit into from Mar 15, 2021

Conversation

JohelEGP
Copy link
Contributor

Resolves #4383.

No visible diff outside the index according to diffpdf.

Remaining question: Should these be dropped?

support.tex:\indexlibraryglobal{three_way_comparable}%
support.tex:\indexlibraryglobal{three_way_comparable_with}%

@jensmaurer jensmaurer added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Feb 3, 2021
@jensmaurer
Copy link
Member

Remaining question: Should these be dropped?

I think so.

@JohelEGP JohelEGP force-pushed the lib-index-concepts branch 2 times, most recently from 2a061ad to 0fdd99c Compare February 3, 2021 17:39
@jensmaurer jensmaurer removed the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Feb 7, 2021
@JohelEGP
Copy link
Contributor Author

JohelEGP commented Mar 9, 2021

No visible diff outside the index according to diffpdf.

I reconfirmed this.

@tkoeppe tkoeppe merged commit 6dbc76a into cplusplus:master Mar 15, 2021
@JohelEGP JohelEGP deleted the lib-index-concepts branch March 15, 2021 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Always use \libconcept, even in synopsis and itemdecls
3 participants