Thu, 14 Jan 2021 12:56:41 +0200 Utility function to enhance curl with time report.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 14 Jan 2021 12:56:41 +0200] rev 971
Utility function to enhance curl with time report.
Fri, 08 Jan 2021 16:11:52 +0200 Fixed: Ignoring unknown option 'BellSound'.
Oleksandr Gavenko <gavenkoa@gmail.com> [Fri, 08 Jan 2021 16:11:52 +0200] rev 970
Fixed: Ignoring unknown option 'BellSound'.
Fri, 08 Jan 2021 14:03:04 +0200 Replaced "~" with $(HOME).
Oleksandr Gavenko <gavenkoa@gmail.com> [Fri, 08 Jan 2021 14:03:04 +0200] rev 969
Replaced "~" with $(HOME).
(0) -300 -100 -30 -10 -3 +3 +10 +30 tip