diff options
| author | ivanbrennan <ivan.brennan@gmail.com> | 2020-09-21 08:28:23 -0400 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-10-09 19:09:30 +0100 |
| commit | 796ad3a045528642495db549d3d870cfa34933da (patch) | |
| tree | 3fb172f21cddb40c1cfc4565cc5c19ea52d0faa5 /src/Xmobar/Plugins/Date.hs | |
| parent | 407866c433735e510b6bde2d06e2a18cff22c470 (diff) | |
| download | xmobar-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