diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2020-09-06 02:34:46 +0200 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2020-09-06 02:34:46 +0200 |
| commit | 57badea2dc9aff361d528aeeeb22ac2e85da1435 (patch) | |
| tree | 8340c6eb7911492b7885ef02b8b0719f9b23439b /packages.yaml | |
| parent | 3baafd5c336d18d87898ae87f16df7cd76bc8d65 (diff) | |
| download | vim-polyglot-57badea2dc9aff361d528aeeeb22ac2e85da1435.tar.gz vim-polyglot-57badea2dc9aff361d528aeeeb22ac2e85da1435.zip | |
Ignore idris2 doc, fixes #538
Diffstat (limited to 'packages.yaml')
| -rw-r--r-- | packages.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/packages.yaml b/packages.yaml index 04dd4cd4..f757cf99 100644 --- a/packages.yaml +++ b/packages.yaml @@ -757,6 +757,8 @@ filetypes: --- name: idris2 remote: edwinb/idris2-vim +ignored_dirs: +- doc filetypes: - name: idris2 extensions: |