##// 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 / jax / input
TeX