diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2017-01-28 16:58:29 +0100 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2017-01-28 16:57:08 +0100 |
| commit | fa5137c11d2d4accd9bfc68b3498e7e16829c3ab (patch) | |
| tree | a712302f90b56aef5f25ce086c10f1dd645f2fb1 /contrib/devtools/README.md | |
| parent | a7ea2f8fdbe9392bcbd4a219a42ebd9518d2e2ef (diff) | |
[doc] Remove unused clang format dev script
Also, update the clang format file to reflect the current coding
style mentioned in the developer notes.
Diffstat (limited to 'contrib/devtools/README.md')
| -rw-r--r-- | contrib/devtools/README.md | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md index 6c0047833f..34f2af6866 100644 --- a/contrib/devtools/README.md +++ b/contrib/devtools/README.md @@ -8,11 +8,6 @@ check-doc.py Check if all command line args are documented. The return value indicates the number of undocumented args. -clang-format.py -=============== - -A script to format cpp source code according to [.clang-format](../../src/.clang-format). This should only be applied to new files or files which are currently not actively developed on. Also, git subtrees are not subject to formatting. - clang-format-diff.py =================== @@ -24,6 +19,7 @@ the script should be called from the git root folder as follows. ``` git diff -U0 HEAD~1.. | ./contrib/devtools/clang-format-diff.py -p1 -i -v ``` + copyright\_header.py ==================== |