##// END OF EJS Templates
pull-requests: use merge info to show how Pull requests will be merged....
pull-requests: use merge info to show how Pull requests will be merged. - rebase or merge commit is shown as merge strategy. - close/delete branch are shown if that option is selected.
marcink -
r2053:bad6294f 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 ...