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