Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-11-07 | Move the permalinks to permalinks.md (code motion) | Ian Jackson | |
2023-11-07 | make_redirects: Rename the marker string variables | Ian Jackson | |
We're going to use these for a non-README file. What they really are is comments in HTML format, so use that for the name. | |||
2023-11-07 | permalink redirects: Do not linkify headings | Ian Jackson | |
On the website, these links are redundant, since they point to the same place. Everywhere else they are broken links. | |||
2023-11-06 | Remove language file extension from bin/* | Ian Jackson | |
Putting ".sh" or ".py" on the end of scripts is an antipattern. It makes it inconvenient to change the implementation language. Change all call sites. |