diff options
| author | Jack Koenig | 2021-12-20 13:21:12 -0800 |
|---|---|---|
| committer | Jack Koenig | 2021-12-20 13:39:34 -0800 |
| commit | 6388385fb38378d04b8c3df84dba5870f2904ae4 (patch) | |
| tree | a84b8f799063f04d8002d231a2993b9b2b981ad4 /.github | |
| parent | 7c7de8d404b0e6d5ed0c67b4a7862c62b36e0958 (diff) | |
[plugin] add -P:chiselplugin:INTERNALskipFile
This enables skipping files in the compiler plugin, only needed for
unidoc generation.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions