[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Patch] Create scripts/ directory for profiler files
|
From: |
Daniel Kraft |
|
Subject: |
[Patch] Create scripts/ directory for profiler files |
|
Date: |
Thu, 5 May 2016 11:38:51 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.7.0 |
Hi!
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.
The patch is also in Savannah:
https://savannah.gnu.org/patch/index.php?8991
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
patch-move.diff
Description: Text Data
signature.asc
Description: OpenPGP digital signature
- [Patch] Create scripts/ directory for profiler files,
Daniel Kraft <=