-
-
Notifications
You must be signed in to change notification settings - Fork 14.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
pplatex: init at unstable-2015-09-14 #73461
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Any particular reason to have your commit signing with a different github user?
I have no clue where that username came from. I've grepped the global and local git config ... I use very short names, 2-5 chars, so that's definitely not me. |
I've addressed all comments ... |
@GrahamcOfBorg build pplatex |
Did you remove |
@SRGOM Yes, it was by mistake. |
@SRGOM Thanks! |
Thank you for the review and approval. |
Motivation for this change
Tired of unreadable TeX errors, pplatex pretty prints them and makes them (actually) readable.
Things done
Tested using sandboxing (nix.useSandbox on NixOS, or option
sandbox
innix.conf
on non-NixOS linux)Built on platform(s)
Tested execution of all binary files (usually in
./result/bin/
)Fits CONTRIBUTING.md.
Notify maintainers
cc @SRGOM