Code

Fix exception when closing JabRef#5351

Code

Merged

tobiasdiez merged 3 commits intomasterJabRef/jabref:masterfrom fixcloseJabRef/jabref:fixcloseCopy head branch name to clipboardSep 25, 2019

+2-9

Commits

Commits on Sep 25, 2019

• Fix exception when closing JabRef

  Show description for 20dced6
  tobiasdiez

  committed
  20dced6

• In fact, just do nothing

  Show description for 977c3e9
  tobiasdiez

  authored
  977c3e9

• Update JabRefFrame.java

  tobiasdiez

  authored
  e553572