dashboard
repositories
filestore
activity
search
login
githubFork
/
gitblit
Gitblit devel
summary
reflog
commits
tree
docs
forks
compare
pages
blame
|
history
|
raw
Merged #85 "Tag server-side merges when incremental push tags are enabled"
James Moger
2014-05-23
c51db7be8f6f48ddebff5053915be68f77e3fc94
[githubFork/gitblit.git]
/
src
/
main
/
resources
/
hideheader.css
1
2
3
4
5
6
7
body {
padding-top:0px;
}
.navbar-fixed-top {
display:none;
}
