Wed, 23 Mar 2022 20:26:33 +0100 | wenzelm | merged | changeset | files |
Wed, 23 Mar 2022 17:24:09 +0100 | wenzelm | tuned message; | changeset | files |
Wed, 23 Mar 2022 16:53:00 +0100 | wenzelm | more operations; | changeset | files |
Wed, 23 Mar 2022 16:41:32 +0100 | wenzelm | tuned signature; | changeset | files |
Wed, 23 Mar 2022 13:43:13 +0100 | wenzelm | more robust install/uninstall; | changeset | files |
Wed, 23 Mar 2022 13:05:54 +0100 | wenzelm | more formal extension_manifest, with shasum for sources; | changeset | files |