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 /etc/completion | |
| parent | 62fc6fdb4c03c1f7738694730a642c435d7a4a6a (diff) | |
| download | guix-895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3.tar.gz | |
gnu: papi: Add 'release-monitoring-url' property.
* gnu/packages/profiling.scm (papi)[properties]: New field.
Diffstat (limited to 'etc/completion')
0 files changed, 0 insertions, 0 deletions