Skip to content

Add headings & formatting to Custom Enumerator guide#439

Merged
sambostock merged 1 commit intomainfrom
tweak-custom-enumerator-guide
Nov 20, 2023
Merged

Add headings & formatting to Custom Enumerator guide#439
sambostock merged 1 commit intomainfrom
tweak-custom-enumerator-guide

Conversation

@sambostock
Copy link
Copy Markdown
Contributor

This adds some headings to the Custom Enumerator guide in preparation for adding another section on cursor serialization (see #81). It also touches up some formatting and small typos.

@sambostock sambostock force-pushed the tweak-custom-enumerator-guide branch from 05740f9 to b4763e1 Compare November 19, 2023 21:15
@sambostock sambostock mentioned this pull request Nov 19, 2023
2 tasks
@sambostock sambostock force-pushed the tweak-custom-enumerator-guide branch 2 times, most recently from fe6e772 to c487398 Compare November 20, 2023 18:19
@sambostock sambostock force-pushed the tweak-custom-enumerator-guide branch from c487398 to e556bb6 Compare November 20, 2023 18:21
@sambostock sambostock merged commit f6bd25c into main Nov 20, 2023
@sambostock sambostock deleted the tweak-custom-enumerator-guide branch November 20, 2023 18:24
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