Update DevDocs: workaround for issues with local openjfx maven libraries#6931

Merged

Siedlerchr merged 2 commits intoJabRef:masterfrom dawidm:update-doc-openjfx-issue

Sep 22, 2020

+9

Commits on Sep 21, 2020

Update DevDocs: workaround for issues with local openjfx maven libraries
dawidm
committed

Commits on Sep 22, 2020

Fix lint
Siedlerchr
authored