Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-03-04 | various python neatness cleanups | Eli Schwartz | 1 | -1/+1 | |
All changes were created by running "pyupgrade --py3-only --keep-percent-format" and committing the results. I have not touched string formatting for now. - use set literals - simplify .format() parameter naming - remove __future__ - remove default "r" mode for open() - use OSError rather than compatibility aliases - remove stray parentheses in function(generator) scopes | |||||
2021-01-10 | Hotdoc: use template for Commands.md instead of generating the entire file ↵ | Eli Schwartz | 1 | -14/+6 | |
(#8154) * doc: fix hotdoc misuse for dynamically generated content hotdoc has a native include feature for including files inline. Use this to generate one file for each dynamically generated code block, and include that file in Commands.md; see: https://hotdoc.github.io/syntax-extensions.html#smart-file-inclusion-syntax This permits us to move back to using the in-tree version of the hotdoc *.md sources, thus fixing the incorrect inclusion of "builddir/" in the "Edit on github" links which resulted from using copies as the source. Fixes #8061 * doc: call the dummy file a "stamp" as it is a better known term | |||||
2020-09-08 | typing: fully annotate tools | Daniel Mensinger | 1 | -8/+8 | |
2020-06-30 | Made Commands.md dynamically generated (#7346) | TheQwertiest | 1 | -0/+150 | |