Gildas bf4f14235f renamed singlefile.ui.* method names vor 7 Jahren
..
options.js e11548173b bump version :) vor 7 Jahren
ui.js bf4f14235f renamed singlefile.ui.* method names vor 7 Jahren