Gildas 5909443455 integration of the annotation editor (fixes #161) vor 6 Jahren
..
bg 5909443455 integration of the annotation editor (fixes #161) vor 6 Jahren
content 5909443455 integration of the annotation editor (fixes #161) vor 6 Jahren
devtools b146f8d3df moved singlefile dependencies into extension/lib vor 6 Jahren
pages 5909443455 integration of the annotation editor (fixes #161) vor 6 Jahren
resources 5909443455 integration of the annotation editor (fixes #161) vor 6 Jahren
index.js a1aa22a1e5 split extension/index.js vor 6 Jahren