Gildas 49e6d1a17d updated copyright date vor 6 Jahren
..
devtools.html b146f8d3df moved singlefile dependencies into extension/lib vor 6 Jahren
devtools.js 49e6d1a17d updated copyright date vor 6 Jahren