diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2019-03-08 15:36:31 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2019-03-08 17:22:29 +0200 |
commit | 606c19878867ada90e40a46cf18194a0e1408945 (patch) | |
tree | f8d453c0b3e07d1ad0f6a028deb4837ec78e4ba1 /gnu/packages/bootstrap | |
parent | b89284407fd5d865ca7cc8622459692cec9297cf (diff) | |
download | patches-606c19878867ada90e40a46cf18194a0e1408945.tar patches-606c19878867ada90e40a46cf18194a0e1408945.tar.gz |
gnu: crawl: Find all the included headers.
* gnu/packages/games.scm (crawl)[arguments]: Add a custom phase to
change the path for some headers.
Diffstat (limited to 'gnu/packages/bootstrap')
0 files changed, 0 insertions, 0 deletions