diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2016-05-14 15:35:13 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2016-05-14 15:44:00 +0200 |
| commit | 979df8e9ca858af8154068d33b8bc6eeba08761d (patch) | |
| tree | 6efdcbe3104cea53ea9eeac7b8053e882003ec19 /debian/patches/add-missing-headers.patch | |
| parent | b1fb20c2ac32b84ceda9f4655acc495377779813 (diff) | |
Reordered fields in patches
Diffstat (limited to 'debian/patches/add-missing-headers.patch')
| -rw-r--r-- | debian/patches/add-missing-headers.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/add-missing-headers.patch b/debian/patches/add-missing-headers.patch index 181ee130..af3eebd1 100644 --- a/debian/patches/add-missing-headers.patch +++ b/debian/patches/add-missing-headers.patch @@ -1,5 +1,5 @@ -Subject: Include all headers needed to build the yosys plugins. From: Sebastian Kuzminsky <seb@highlab.com> +Subject: Include all headers needed to build the yosys plugins. Index: yosys/Makefile =================================================================== --- yosys.orig/Makefile |