diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-12-23 00:39:24 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-12-23 19:45:55 +0100 |
commit | e4d6746f8ea8c2cf02187031df0214fc73e603cc (patch) | |
tree | 7defce675ef39359bb8dd8b6c41be0c5728482a8 /gnu/tests/monitoring.scm | |
parent | 89f51a9dacbeded0f9b2fb1e79c1d27bdbc3e83e (diff) |
gnu: igt-gpu-tools: Fetch from upstream git repository.
* gnu/packages/admin.scm (igt-gpu-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME. Fetch from the master repository, not the mirror.
Diffstat (limited to 'gnu/tests/monitoring.scm')
0 files changed, 0 insertions, 0 deletions