diff options
| author | 2021-10-23 13:43:24 +0200 | |
|---|---|---|
| committer | 2021-10-23 13:43:24 +0200 | |
| commit | acbba9adb2e362079ce1fb84be1868b198cc1da0 (patch) | |
| tree | eeeaa9e522f82a9f8f9baaef3b6bd23950eab71a /docs/en/developers/01_Index.md | |
| parent | dd02c79092aa25cacff1c831815e9ca02b06b620 (diff) | |
Improved markdownlint (#3918)
* Improved markdownlint
* Relaxed rules slighlty
* `npm run markdownlint` for automatic tests
* `npm run markdownlint_fix` for automatic syntax fixing
* Applied the fixes on all our Markdown files
Diffstat (limited to 'docs/en/developers/01_Index.md')
| -rw-r--r-- | docs/en/developers/01_Index.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/en/developers/01_Index.md b/docs/en/developers/01_Index.md index 94339f7cb..28d11a6cc 100644 --- a/docs/en/developers/01_Index.md +++ b/docs/en/developers/01_Index.md @@ -27,4 +27,5 @@ Start by creating your development environment. A guide to setting up FreshRSS's * [Design (Themes/Theming)](04_Frontend/02_Design.md) ## Minz + Minz is the homemade PHP framework used by FreshRSS. More information can be found [here](Minz/index.md). |
