diff options
| author | Alex Griffin <a@ajgrf.com> | 2019-06-09 09:01:34 -0500 |
|---|---|---|
| committer | Oleg Pykhalov <go.wigust@gmail.com> | 2019-06-13 23:40:05 +0300 |
| commit | 4df1d31b5472795c980a812ae762dbf339c2d868 (patch) | |
| tree | 18eaecdd021fbd2e50ce1ff799497cd1d6096be2 /gnu/packages/agda.scm | |
| parent | fdcd50b93bf29efcd757f3100391f5da45c143b6 (diff) | |
| download | guix-4df1d31b5472795c980a812ae762dbf339c2d868.tar.gz guix-4df1d31b5472795c980a812ae762dbf339c2d868.zip | |
gnu: Add emacs-mixed-pitch.
* gnu/packages/emacs-xyz.scm (emacs-mixed-pitch): New variable.
Signed-off-by: Oleg Pykhalov <go.wigust@gmail.com>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions