diff options
author | Dave Love <fx@gnu.org> | 2017-10-02 21:48:43 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-03 17:07:55 +0200 |
commit | 6a3af24f062350751ab70ba21bdcf8792b6624d6 (patch) | |
tree | 8b4882db42f16b6e4e2b360a34233f6b5233bf6b /COPYING | |
parent | 65d98906b87ce03e9e991fc3f336e5d62f0571a4 (diff) | |
download | guix-patches-6a3af24f062350751ab70ba21bdcf8792b6624d6.tar guix-patches-6a3af24f062350751ab70ba21bdcf8792b6624d6.tar.gz |
gnu: Add papi.
* gnu/packages/profiling.scm: New file.
* gnu/local.mk: Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions