Tom Moor d5f5319f80 fix: History sidebar header shrinking when lots of history

2020-09-11 12:10:40 -07:00

..

components

fix: History sidebar header shrinking when lots of history

2020-09-11 12:10:40 -07:00

DocumentHistory.js

fix: History sidebar header shrinking when lots of history

2020-09-11 12:10:40 -07:00

index.js

chore: Move to prettier standard double quotes (#1309)

2020-06-20 13:59:15 -07:00