Skip to content

Fix double colon targets#54

Merged
drdv merged 3 commits into
mainfrom
fix-double-colon-targets
Nov 8, 2025
Merged

Fix double colon targets#54
drdv merged 3 commits into
mainfrom
fix-double-colon-targets

Conversation

@drdv
Copy link
Copy Markdown
Owner

@drdv drdv commented Nov 8, 2025

Resolves #50 and #51

@drdv drdv force-pushed the fix-double-colon-targets branch 2 times, most recently from f1f2664 to ffaae47 Compare November 8, 2025 19:56
@drdv drdv force-pushed the fix-double-colon-targets branch from ffaae47 to 59008d4 Compare November 8, 2025 20:12
@drdv drdv merged commit f7527bc into main Nov 8, 2025
@drdv
Copy link
Copy Markdown
Owner Author

drdv commented Nov 8, 2025

Following the discussion in #50, double-colon targets are represented using T~2 in the docs. I removed the temporary use of square brackets.

@drdv drdv deleted the fix-double-colon-targets branch November 8, 2025 20:20
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.

Double-colon targets and substitutions

1 participant