diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2021-06-26 13:57:05 +0200 |
|---|---|---|
| committer | Alexandre Flament <alex@al-f.net> | 2021-06-28 10:38:44 +0200 |
| commit | 76a066d4a3fa2b1ed0a89f619ea3647eec617b52 (patch) | |
| tree | a31c22fe553535dd39e684bda2f77d8d497d0139 /docs/dev/plugins.rst | |
| parent | 5a979ff98773bbd4570b12e521173b881dd6da95 (diff) | |
[mod] themes: remove banner generated by grunt
The banner is useless and responsible for unwanted diff.
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs/dev/plugins.rst')
0 files changed, 0 insertions, 0 deletions