Skip to content

Commit 12ce18e

Browse files
mdureromdurero
committed
Ignore VSCodium config files
1 parent 100c396 commit 12ce18e

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,3 +6,4 @@ doc.html
66
*~
77
/_opam
88
/Makefile.config
9+
/.vscode

0 commit comments

Comments
 (0)