Gildas b1f7b2d6d1 disable user selection on firefox while opening the infobar hace 6 años
..
core 9b10a477d5 renamed method refreshTab hace 6 años
ui b1f7b2d6d1 disable user selection on firefox while opening the infobar hace 6 años
index.js 64b9d80d02 moved all SingleFile code under AGPL hace 6 años