diff options
| author | David Craven <david@craven.ch> | 2017-01-02 18:06:25 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-01-04 12:11:14 +0100 |
| commit | 3254e1aba9ce3925a4e0b24c647240f96b5de8d4 (patch) | |
| tree | 8795d07825f0b025dd19b582638d709bdbd63850 /gnu/packages/patches/gtk2-theme-paths.patch | |
| parent | 5a16d828b3bd0c458f6604fc4e0d7876377ff12c (diff) | |
gnu: Add idris-lens.
* gnu/packages/idris.scm (idris-lens): New variable.
Diffstat (limited to 'gnu/packages/patches/gtk2-theme-paths.patch')
0 files changed, 0 insertions, 0 deletions