Permalink
Comparing changes
Choose two branches to see what’s changed or to start a new pull request.
If you need to, you can also .
Open a pull request
Create a new pull request by comparing changes across two branches. If you need to, you can also .
- 19 commits
- 66 files changed
- 0 comments
- 2 contributors
Commits on Jan 15, 2020
Commits on Jan 17, 2020
Changes did not go through until January 2020.
The other things scheduled for end-2019 don't seem to have 'gone through': deal with those later!
It had a lowercase "p"!
Commits on Jan 21, 2020
Commits on Jan 22, 2020
This is mainly needed for textcomp-like commands: \T1-cmd, etc. otherwise loop infinitely.
There are no files selected for viewing