projects
/
arvados-workbench2.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
compact
(merge:
4967fd0
e3a0a85
)
Merge branch '15951-filter-ui-polish'. Closes #15951
author
Lucas Di Pentima <lucas@di-pentima.com.ar>
Wed, 11 Mar 2020 13:32:18 +0000
(10:32 -0300)
committer
Lucas Di Pentima <lucas@di-pentima.com.ar>
Wed, 11 Mar 2020 13:32:18 +0000
(10:32 -0300)
Arvados-DCO-1.1-Signed-off-by: Lucas Di Pentima <lucas@di-pentima.com.ar>
Trivial merge