diff options
| author | Antoine Côté <antoine.cote@posteo.net> | 2021-02-02 15:38:02 -0500 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-02-02 22:55:01 +0100 |
| commit | d65a25c9a2fdc9940c691afd8a10c7d489052cdf (patch) | |
| tree | 143072a7cf1a22d363d35c9050583d5d26da7981 /gnu/packages/lean.scm | |
| parent | c1e7ae444a77aa5cc78a715f78843ccd178c9d6b (diff) | |
| download | guix-d65a25c9a2fdc9940c691afd8a10c7d489052cdf.tar.gz guix-d65a25c9a2fdc9940c691afd8a10c7d489052cdf.zip | |
gnu: Add font-space-grotesk.
* gnu/packages/fonts.scm (font-space-grotesk): New variable.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions