##// END OF EJS Templates
caching: add option to cache diffs for commits and pull requests....
caching: add option to cache diffs for commits and pull requests. - new option for vcs settings to enable caching of diffs and commits - enables auditing of PR after closing it, and removing commits from source repo - speed up for large PR upto 20x - reduced memory usage
Bartłomiej Wołyńczyk -
r2685:5ff8fcc0 default
Show More
Name Size Modified Last Commit Author
/ ... / math_jax / jax / output / HTML-CSS / autoload
annotation-xml.js Loading ...
maction.js Loading ...
menclose.js Loading ...
mglyph.js Loading ...
mmultiscripts.js Loading ...
ms.js Loading ...
mtable.js Loading ...
multiline.js Loading ...