summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/minisat-friend-declaration.patch
diff options
context:
space:
mode:
authorAlexandros Theodotou <[email protected]>2019-11-10 01:25:28 +0000
committerLudovic Courtès <[email protected]>2019-11-19 10:51:53 +0100
commit600f680dca7f1755d47df4394b794b4c7fee3aa5 (patch)
tree229d8482dbf89125584361bf667a7babcf5dbc21 /gnu/packages/patches/minisat-friend-declaration.patch
parente30bb63c2905f5548a1c66d076ef7e18338d9bc8 (diff)
gnu: Add font-dseg.
* gnu/packages/fonts.scm (font-dseg): New variable. Signed-off-by: Ludovic Courtès <[email protected]>
Diffstat (limited to 'gnu/packages/patches/minisat-friend-declaration.patch')
0 files changed, 0 insertions, 0 deletions