diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-04 17:16:46 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-05 17:32:08 +0100 |
| commit | 211748d4754f26a56655bea5dfcecc79ac9667c2 (patch) | |
| tree | b93a5f3fc383719eee34f9491a51972f7145192a /graph.js | |
| parent | f7c870f78afa5cdb27726ad9b0db931bbd87ca65 (diff) | |
gnu: papi: Use HTTPS home page.
* gnu/packages/profiling.scm (papi)[home-page]: Use HTTPS.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions