-
Committer:
Georg Zotti
-
Date:
2017-05-13 12:19:36 UTC
-
Revision ID:
georg.zotti@univie.ac.at-20170513121936-c0ag3dlvjcck2i82
Addendum to r9373: Finally allow comments in DSO name list. Please use this to allow tracing the source of some rarely used or questionable names. If possible, add in older sources.