Minor bugfixes - #9

Open

markwoon wants to merge 6 commits into

egonw:masterfrom

markwoon:tweaks

Commits on Feb 10, 2016

Fix line endings.
markwoon
committed
8c65f89
Remove obsolete file.
markwoon
committed
4191434
Tweak publication xref string. Include PMID.
markwoon
committed
5be7d91
Avoid ConcurrentModificationException.
markwoon
committed
6ab28df
Delete build directory on dist-clean.
markwoon
committed
39c1db7
Avoid NPE. Should never happen, and yet it does.
markwoon
committed
c965fe2