diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2022-05-13 17:40:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-13 17:40:50 +0200 |
| commit | 939a070c8cbe77626e07a01646c324b2ae5ac740 (patch) | |
| tree | fed6f4053e2185380b9acabf17c1cf3b64e9d119 /ext/webgpu/01_webgpu.js | |
| parent | b543e84b399ccfff9446d19c3b4cc55dab85c039 (diff) | |
feat: add --no-config flag (#14555)
This flag disables loading of configuration file, ie. it will not be
automatically discovered and loaded. Of course this flag conflicts
with "--config" flag and they cannot be used together.
Diffstat (limited to 'ext/webgpu/01_webgpu.js')
0 files changed, 0 insertions, 0 deletions