diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-01-22T21·07+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-01-22T21·13+0000 |
| commit | 595280690c71b723b54c401169b860d1c567e570 (patch) | |
| tree | b85f91e0301bf0b36743c457e0a4a137578f9af7 /configs/shared/.docker | |
| parent | df7385af0d2a59cca2d724312b5efc1e9174b94f (diff) | |
Prefer JetBrainsMono font for Terminator
TODO: Consider completing terminator.el and allow things like that font and font-size to be parameterized.
Diffstat (limited to 'configs/shared/.docker')
0 files changed, 0 insertions, 0 deletions