##// END OF EJS Templates
pull-request-api: updated logic of closing a PR via API call....
pull-request-api: updated logic of closing a PR via API call. - consistent logic via web and API - updated events - updated proper close checks.
marcink -
r1792:a62f3dac default
Show More
Name Size Modified Last Commit Author
/ ... / js / src / math_jax / extensions / TeX
AMScd.js Loading ...
AMSmath.js Loading ...
AMSsymbols.js Loading ...
HTML.js Loading ...
action.js Loading ...
autobold.js Loading ...
autoload-all.js Loading ...
bbox.js Loading ...
begingroup.js Loading ...
boldsymbol.js Loading ...
cancel.js Loading ...
color.js Loading ...
enclose.js Loading ...
extpfeil.js Loading ...
mathchoice.js Loading ...
mediawiki-texvc.js Loading ...
mhchem.js Loading ...
newcommand.js Loading ...
noErrors.js Loading ...
noUndefined.js Loading ...
unicode.js Loading ...
verb.js Loading ...