diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-09-24 10:11:38 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-24 10:11:38 +0200 |
| commit | 11da634a6e64afa2904542e2174aa2a185f9ac3a (patch) | |
| tree | 5aeb8e6bd01761813650067af492b1c336886e34 /gnu/packages/patches/idris-test-no-node.patch | |
| parent | e5efdbce21a0afcbb3e73cc7b59111ccf62cb532 (diff) | |
| parent | 7b3f56f5d7f4d2bb936e1579ed442e7f5b080abd (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/patches/idris-test-no-node.patch')
0 files changed, 0 insertions, 0 deletions