##// END OF EJS Templates
pr-versioning: implemented versioning for pull requests....
pr-versioning: implemented versioning for pull requests. - users can navigate via each version or generate diffs between versions - diff between versions will show changed commits and partial diffs - redone the UI for versioning a bit - small UI fixes

File last commit:

r1:854a839a default
r1368:9a887d01 default
Show More
add.css
13 lines | 232 B | text/css | CssLexer
.menuselection, .guilabel {
font-size: .90em;
font-family: "proximanovaregular", "Proxima Nova Regular", "Proxima Nova", sans-serif;
font-style: oblique;
}
.version{
display: none;
}
.pre{
color:#000
}