Specify .html extension for new note

dekaikiwi · May 5, 2020 · 10cba0e · 10cba0e
1 parent f18824d
commit 10cba0e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/source/notes/useful_grep_options.md → source/notes/useful_grep_options.html.md b/source/notes/useful_grep_options.md → source/notes/useful_grep_options.html.md