User Tools

Site Tools


windows_terminal

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
windows_terminal [2023/01/17 22:03] stephenwindows_terminal [2023/01/27 05:34] (current) – external edit 127.0.0.1
Line 41: Line 41:
         "defaults": {         "defaults": {
             "font": {             "font": {
-                "face": "FuraCode Nerd Font",+                "face": "FiraCode Nerd Font",
                 "size": 10                 "size": 10
             }             }
windows_terminal.1673993022.txt.gz · Last modified: 2023/01/18 23:03 (external edit)

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki