diff options
author | David Thompson <davet@gnu.org> | 2015-04-03 10:57:23 -0400 |
---|---|---|
committer | David Thompson <davet@gnu.org> | 2015-04-03 10:57:23 -0400 |
commit | 9ddc407ced2d57b716002711492133e048d4fa53 (patch) | |
tree | 7370e45e0d7d1a994fa13f8739a273f59b3e2326 /examples/mines | |
parent | a915b370094a59f868b6d49ab50e10c062600b46 (diff) |
guix: Use native-inputs properly and add texinfo.
* package.scm: Move native inputs where they belong. Add texinfo to
native inputs.
Diffstat (limited to 'examples/mines')
0 files changed, 0 insertions, 0 deletions