From 354a81c5898bc40e75845fe5e54a22abd9937a28 Mon Sep 17 00:00:00 2001 From: Johannes Kimmel Date: Mon, 24 Apr 2023 16:41:03 +0200 Subject: [PATCH] remove dead code --- l3config.js | 3 --- 1 file changed, 3 deletions(-) diff --git a/l3config.js b/l3config.js index 7054080..f7213f0 100644 --- a/l3config.js +++ b/l3config.js @@ -381,9 +381,6 @@ function initForm() { renderConfig(l3cfg.sections.flatMap(section => section.render()).filter(section => !!section)); } -function renderConfigOption(name, value) { - return value ? `\toption ${name} '${value}'\n` : "" -} function renderConfig(sections) { let l3configoutput = document.getElementById('l3configoutput'); let l3configoutputpre = document.createElement('pre');