##// END OF EJS Templates
pull-requests: change the update commits logic to handle target changes better....
pull-requests: change the update commits logic to handle target changes better. - references #5266 - don't create comments if NO changes in PR were detected, but target changed - Show the origin of changes target/source repos - Allows updating the diffs without invalidating voting and creating new versions.
marcink -
r1601:a639657c default
Show More
Name Size Modified Last Commit Author
/ ... / js / src / math_jax / extensions / MathML
content-mathml.js Loading ...
mml3.js Loading ...