show local and remote History (#128)

* added history toolbar functionality for local and remote history
This commit is contained in:
Philip Molares 2020-06-07 01:09:04 +02:00 committed by GitHub
parent 23c854dc9a
commit 7b5b73a289
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
19 changed files with 336 additions and 130 deletions

View file

@ -16,3 +16,10 @@ body {
outline: 0 !important;
}
.mt-1dot5 {
margin-top: 0.375rem !important;
}
.fa.fa-fix-line-height {
line-height: inherit;
}