Wed, 23 Mar 2022 20:26:33 +0100 merged
wenzelm [Wed, 23 Mar 2022 20:26:33 +0100] rev 75807
merged
Wed, 23 Mar 2022 17:24:09 +0100 tuned message;
wenzelm [Wed, 23 Mar 2022 17:24:09 +0100] rev 75806
tuned message;
Wed, 23 Mar 2022 16:53:00 +0100 more operations;
wenzelm [Wed, 23 Mar 2022 16:53:00 +0100] rev 75805
more operations;
Wed, 23 Mar 2022 16:41:32 +0100 tuned signature;
wenzelm [Wed, 23 Mar 2022 16:41:32 +0100] rev 75804
tuned signature;
Wed, 23 Mar 2022 13:43:13 +0100 more robust install/uninstall;
wenzelm [Wed, 23 Mar 2022 13:43:13 +0100] rev 75803
more robust install/uninstall; clarified extension_name (again): --locate-extension wants to see a lowercase name;
Wed, 23 Mar 2022 13:05:54 +0100 more formal extension_manifest, with shasum for sources;
wenzelm [Wed, 23 Mar 2022 13:05:54 +0100] rev 75802
more formal extension_manifest, with shasum for sources;
Wed, 23 Mar 2022 12:21:13 +0100 tuned;
wenzelm [Wed, 23 Mar 2022 12:21:13 +0100] rev 75801
tuned;
Wed, 23 Mar 2022 12:15:25 +0100 tuned signature;
wenzelm [Wed, 23 Mar 2022 12:15:25 +0100] rev 75800
tuned signature;
Wed, 23 Mar 2022 12:02:56 +0100 clarified signature;
wenzelm [Wed, 23 Mar 2022 12:02:56 +0100] rev 75799
clarified signature;
Wed, 23 Mar 2022 11:40:34 +0100 proper usage;
wenzelm [Wed, 23 Mar 2022 11:40:34 +0100] rev 75798
proper usage;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip