diff options
| author | Norwid Behrnd <nbehrnd@yahoo.com> | 2022-11-30 14:28:20 +0100 |
|---|---|---|
| committer | Norwid Behrnd <nbehrnd@yahoo.com> | 2022-11-30 14:28:20 +0100 |
| commit | 23a2d02f7f3a5b8750c2061e60d16156fe843d15 (patch) | |
| tree | 2bba58b2a87870d1167b1af20865d68847b6ea2b /php.html.markdown | |
| parent | eddf5accb885230940aa8d7c9a3375755d057e7b (diff) | |
add hint to markdownlint
In the longer term, the use of a linter (similar to pylint for
Python) may contribute to easier maintenance of the markdown files
and consistent display of the content on the web page.
Diffstat (limited to 'php.html.markdown')
0 files changed, 0 insertions, 0 deletions