Commit graph

1 commit

Author SHA1 Message Date
rubenwardy b1786e88ac Use .md extension for markdown files
Linking to line numbers is brittle, linking to sections/headings is better.

If you still want to link to a line number, you can append ?plain=1 to GitHub's URL
2023-04-16 20:23:53 +01:00
Renamed from doc/builtin_entities.txt (Browse further)