Skip to content

Commit 6f77ead

Browse files
committed
chore(ide): do not treat commandline options as unused
1 parent c9a79f7 commit 6f77ead

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

.idea/misc.xml

Lines changed: 5 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)