##// END OF EJS Templates
Merge pull request #8127 from minrk/rename-last-modified...
Merge pull request #8127 from minrk/rename-last-modified update last_modified on rename

File last commit:

r19666:482edf5b
r20888:f8286764 merge
Show More
kernelselector.less
10 lines | 185 B | text/x-less | LessCssLexer
#kernel_logo_widget {
.pull-right();
.current_kernel_logo {
display: none;
.navbar-vertical-align(32px);
width: 32px;
height: 32px;
}
}