From cb5833e2fc147a2d578fbf0e0e7b2aeb1e3d6fc8 Mon Sep 17 00:00:00 2001 From: lasers Date: Fri, 3 Aug 2018 17:28:42 -0500 Subject: [PATCH] extras/convert.lua: change url to wiki page (#554) --- extras/convert.lua | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/extras/convert.lua b/extras/convert.lua index 58fb22fc..29d48782 100755 --- a/extras/convert.lua +++ b/extras/convert.lua @@ -14,7 +14,7 @@ config, it's suggested to use 2 args so that the new config is written in a new file (so that you have backup if something went wrong). For more information about the new format, read the wiki page - + ]]; local function quote(s) @@ -46,8 +46,8 @@ local num_setting = { maximum_width = true, mpd_port = true, music_player_interval = true, net_avg_samples = true, own_window_argb_value = true, pad_percents = true, stippled_borders = true, text_buffer_size = true, top_name_width = true, total_run_times = true, - update_interval = true, update_interval_on_battery = true, xftalpha = true, - xinerama_head = true, + update_interval = true, update_interval_on_battery = true, xftalpha = true, + xinerama_head = true, }; local split_setting = {