Henrik Lissner 7d3ffdff06 Remove third line in section headers ... This is truly important stuff. We've saved many lives with this update.		2018-09-09 09:58:19 -04:00
..
popup.el	Remove third line in section headers	2018-09-09 09:58:19 -04:00
settings.el	Remove third line in section headers	2018-09-09 09:58:19 -04:00