diff options
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 |