Markus Heiser ebfd0eb2b7 [fix] default_doi_resolver in preferences 4 years ago
..
__common__ 6553c79029 [mod] replace /translations.js by embedded JSON 4 years ago
oscar ebfd0eb2b7 [fix] default_doi_resolver in preferences 4 years ago
simple ebfd0eb2b7 [fix] default_doi_resolver in preferences 4 years ago