Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Exclude markdown mapped documentation files from Files list
The files with an obvious documentation extension are excluded from the "Files list" (e.g in top blue bar). Files that are mapped through `EXTENSION_MAPPING` to markdown files are also documentation files and should also be excluded.
- Loading branch information