[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
PING: [Patch] Create scripts/ directory for profiler files
From: |
Daniel Kraft |
Subject: |
PING: [Patch] Create scripts/ directory for profiler files |
Date: |
Mon, 16 May 2016 10:52:02 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.8.0 |
See below -- friendly ping on the two related patches:
https://savannah.gnu.org/patch/index.php?8991
https://savannah.gnu.org/patch/index.php?8997
Thanks!
Daniel
On 2016-05-09 20:31, Daniel Kraft wrote:
> Hi!
>
> On 2016-05-05 11:38, Daniel Kraft wrote:
>> I've created a patch to move the profiler files to their own scripts/
>> directory. This cleans up scripts/general, and is meant in preparation
>> for more files to support profiler export as HTML.
>
> Here's the second part, which actually implements profexport.
>
> This is mainly the file from
> https://lists.gnu.org/archive/html/octave-maintainers/2015-11/msg00052.html,
> but I've split out the HTML templates and added a (mostly empty) CSS file.
>
> The patch is also at Savannah:
>
> https://savannah.gnu.org/patch/index.php?8997
>
> Yours,
> Daniel
>
--
http://www.domob.eu/
OpenPGP: 1142 850E 6DFF 65BA 63D6 88A8 B249 2AC4 A733 0737
Namecoin: id/domob -> https://nameid.org/?name=domob
--
Done: Arc-Bar-Cav-Hea-Kni-Ran-Rog-Sam-Tou-Val-Wiz
To go: Mon-Pri
signature.asc
Description: OpenPGP digital signature