src/js/widgets/annotationsListWidget.js
changeset 863 dc5e0ea0093c
parent 855 1be5beb4b196
equal deleted inserted replaced
859:002a16ff171b 863:dc5e0ea0093c