Gildas b1f7b2d6d1 disable user selection on firefox while opening the infobar 7 years ago
..
core 9b10a477d5 renamed method refreshTab 7 years ago
ui b1f7b2d6d1 disable user selection on firefox while opening the infobar 7 years ago
index.js 64b9d80d02 moved all SingleFile code under AGPL 7 years ago