thezero ed7baf57f0 replace "options" with "arguments", invert global hide-icon if needed

2020-10-21 00:26:30 +02:00

..

core

Fix bug in Normalise Unicode operation: replace nfc by nfkc

2020-05-27 15:47:40 +01:00

node

improve some comments, remove unused properties from magic state shim in node API

2020-06-12 12:35:33 +01:00

web

replace "options" with "arguments", invert global hide-icon if needed

2020-10-21 00:26:30 +02:00