diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-01-18 17:09:40 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-18 18:46:51 +0100 |
commit | 895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3 (patch) | |
tree | fe5a79ae65caab21851890d63ccf3f0a7ab755e5 /AUTHORS | |
parent | 62fc6fdb4c03c1f7738694730a642c435d7a4a6a (diff) | |
download | guix-895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3.tar.gz guix-895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3.zip |
gnu: papi: Add 'release-monitoring-url' property.
* gnu/packages/profiling.scm (papi)[properties]: New field.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions