mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-15 12:51:00 +02:00
doc: Document that GNU tools are required for linters
This commit is contained in:
parent
4444704ca9
commit
fadccb263b
1 changed files with 2 additions and 0 deletions
|
|
@ -7,6 +7,8 @@ Check for missing documentation of command line options.
|
|||
commit-script-check.sh
|
||||
======================
|
||||
Verification of [scripted diffs](/doc/developer-notes.md#scripted-diffs).
|
||||
Scripted diffs are only assumed to run on the latest LTS release of Ubuntu. Running them on other operating systems
|
||||
might require installing GNU tools, such as GNU sed.
|
||||
|
||||
git-subtree-check.sh
|
||||
====================
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue