Skip to content

Upstreaming functionality from Tim#105

Open
brevzin wants to merge 7 commits intompark:masterfrom
brevzin:upstream-from-tim
Open

Upstreaming functionality from Tim#105
brevzin wants to merge 7 commits intompark:masterfrom
brevzin:upstream-from-tim

Conversation

@brevzin
Copy link
Contributor

@brevzin brevzin commented Jan 1, 2025

A block of commits that @timsong-cpp added to my fork a while back that I've found quite useful:

  • (auto-)numbered notes and examples
  • auto-numbering pnum (so that you can write #.# instead of 1.1 then 1.2 then 1.3 then ...)
  • pnum links

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.

2 participants