#4795 disable menu item if database not connected#4828
Merged
Siedlerchr merged 13 commits intoJabRef:masterfrom Ali96kz:4795-disable-menu-itemApr 9, 2019
+63-109
Commits
Commits on Mar 29, 2019
- committed
azhagparov - authored
Commits on Mar 30, 2019
- committedazhagparov
- committedazhagparov
- committedazhagparov
- committedazhagparov
- committedazhagparov
- committedazhagparov
- committedazhagparov
Commits on Apr 6, 2019
- committedazhagparov
- committedazhagparov
- committedazhagparov
Commits on Apr 8, 2019
- committedazhagparov