diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/git.orderfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/git.orderfile b/scripts/git.orderfile index 1f747b583a..7cf22e0bf5 100644 --- a/scripts/git.orderfile +++ b/scripts/git.orderfile @@ -22,6 +22,9 @@ Makefile* qapi/*.json qga/*.json +# semantic patches +*.cocci + # headers *.h |