Gildas db434be938 moved files into editor/ 6 years ago
..
bg 6c4138231f allow using the toolbar button to save the page in the editor (Firefox only) 6 years ago
content fe9dbe6cde fixed mask elements ordering issue 6 years ago
devtools b146f8d3df moved singlefile dependencies into extension/lib 6 years ago
editor db434be938 moved files into editor/ 6 years ago
pages db434be938 moved files into editor/ 6 years ago
resources 5909443455 integration of the annotation editor (fixes #161) 6 years ago
index.js a1aa22a1e5 split extension/index.js 6 years ago