diff options
| author | Efraim Flashner <[email protected]> | 2019-08-15 21:03:19 +0300 |
|---|---|---|
| committer | Efraim Flashner <[email protected]> | 2019-08-15 21:03:19 +0300 |
| commit | d4cf5b018a6ec9170ca1b8c46023003c164364b9 (patch) | |
| tree | c50bf5c92960b8d6c8831e4b7370be227e28fb11 /gnu/packages/patches/bash-4.4-linux-pgrp-pipe.patch | |
| parent | e3a39ade716eff98d2cdc2ebfced2efc021cbcd5 (diff) | |
gnu: einstein: Use mirror for source download.
* gnu/packages/games.scm (einstein)[source]: Use 'mirror' syntax.
Diffstat (limited to 'gnu/packages/patches/bash-4.4-linux-pgrp-pipe.patch')
0 files changed, 0 insertions, 0 deletions