diff options/options.html @ 65:106d78e26d3c

Allow placeholder in the fragment identifier
author Guido Berhoerster <guido+feed-preview@berhoerster.name>
date Sat, 17 Apr 2021 23:45:30 +0200
parents d9cc8e88d297
children
line wrap: on
line diff