Gildas b1f7b2d6d1 disable user selection on firefox while opening the infobar vor 6 Jahren
..
content-ui.js 64b9d80d02 moved all SingleFile code under AGPL vor 6 Jahren
infobar.js b1f7b2d6d1 disable user selection on firefox while opening the infobar vor 6 Jahren