diff options/options.js @ 58:d9cc8e88d297

Fix HTML markup of the options page
author Guido Berhoerster <guido+feed-preview@berhoerster.name>
date Wed, 06 May 2020 13:51:51 +0200
parents 3c97046c2348
children 46c0595f2dcc
line wrap: on
line diff