summaryrefslogtreecommitdiffhomepage
path: root/src/Xmobar/Plugins/Date.hs
diff options
context:
space:
mode:
authorivanbrennan <ivan.brennan@gmail.com>2020-09-21 08:28:23 -0400
committerjao <jao@gnu.org>2020-10-09 19:09:30 +0100
commit796ad3a045528642495db549d3d870cfa34933da (patch)
tree3fb172f21cddb40c1cfc4565cc5c19ea52d0faa5 /src/Xmobar/Plugins/Date.hs
parent407866c433735e510b6bde2d06e2a18cff22c470 (diff)
downloadxmobar-796ad3a045528642495db549d3d870cfa34933da.tar.gz
xmobar-796ad3a045528642495db549d3d870cfa34933da.tar.bz2
additionalFonts command-line option: --add-font
Provide an option the user can specify any number of times to add to the additionalFonts config field.
Diffstat (limited to 'src/Xmobar/Plugins/Date.hs')
0 files changed, 0 insertions, 0 deletions