Skip to content
Unverified Commit e6c3a4b9 authored by John DiSanti's avatar John DiSanti Committed by GitHub
Browse files

Replace PR bot's diff tool with one that supports pagination (#2245) 

* Implement paginated diff to html tool
* Wire up the new diff tool to PR bot
parent c2170585
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment