Add skipRegistry option to settings.json

Fork: 0

johnpearcey / dub_jkp

Browse code Add skipRegistry option to settings.json master
1 parent cc9ff7a commit c24d762c2e84bccc5bcc6a798f51a5d204fda09b andre2007 authored on 8 Jun 2018

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View source/dub/dub.d

Show line notes below