diff options
| author | David Craven <david@craven.ch> | 2017-01-16 20:17:46 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-02-10 17:15:29 +0100 |
| commit | 3f73aa1a5a4335d536b9afea752689c8e3d95e7c (patch) | |
| tree | 43ee3322caa92323f5860210f31afb4d94debd41 /gnu/packages/dejagnu.scm | |
| parent | 29da15738cdca2cfd8ffb60b99ee023d0cd9b21f (diff) | |
gnu: Use 'license:' prefix in (gnu packages grub).
* gnu/packages/grub.scm (grub): Add prefix.
Diffstat (limited to 'gnu/packages/dejagnu.scm')
0 files changed, 0 insertions, 0 deletions