log options/options.js @ 70:e405ff21ab31 version-14

age author description
Sat, 17 Apr 2021 23:45:30 +0200 Guido Berhoerster Allow placeholder in the fragment identifier
Sat, 17 Apr 2021 23:07:57 +0200 Guido Berhoerster Remove SubmitEvent compatibility code