diff options
author | Eduardo Julian | 2022-06-12 00:38:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-12 00:38:20 -0400 |
commit | b48ea68a83d01903554c7696c77eedaaf1035680 (patch) | |
tree | c342d8094c3158de16526f874ca9624418cd2dd2 /documentation/bookmark/tool | |
parent | 7abf2d0ac55c229a8793bbff31f132596ffcb275 (diff) |
De-sigil-ification: suffix : [Part 3]
Diffstat (limited to 'documentation/bookmark/tool')
-rw-r--r-- | documentation/bookmark/tool/text_editor/font.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/documentation/bookmark/tool/text_editor/font.md b/documentation/bookmark/tool/text_editor/font.md new file mode 100644 index 000000000..fede11afd --- /dev/null +++ b/documentation/bookmark/tool/text_editor/font.md @@ -0,0 +1,4 @@ +# Reference + +0. [JetBrains Mono](https://www.jetbrains.com/lp/mono/) + |