diff options
| author | Paolo Bonzini | 2020-02-25 13:41:48 +0100 |
|---|---|---|
| committer | Paolo Bonzini | 2020-02-25 13:41:48 +0100 |
| commit | 9e264985ff0bc86927b44b334bd504687f78659d (patch) | |
| tree | 0e0cf83ea14b7cd84f255eedb15ffbf4c395d1ed /scripts/git.orderfile | |
| parent | Merge tag 'patchew/20200219160953.13771-1-imammedo@redhat.com' of https://git... (diff) | |
| parent | Avoid cpu_physical_memory_rw() with a constant is_write argument (diff) | |
| download | qemu-9e264985ff0bc86927b44b334bd504687f78659d.tar.gz qemu-9e264985ff0bc86927b44b334bd504687f78659d.tar.xz qemu-9e264985ff0bc86927b44b334bd504687f78659d.zip | |
Merge branch 'exec_rw_const_v4' of https://github.com/philmd/qemu into HEAD
Diffstat (limited to 'scripts/git.orderfile')
| -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 |