Gildas 47509ea932 updated copyright date vor 6 Jahren
..
devtools.html 0c950e0873 moved singlefile dependencies into extension/lib vor 6 Jahren
devtools.js 47509ea932 updated copyright date vor 6 Jahren