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/switch-to-free-font.patch | |
| parent | b1fb20c2ac32b84ceda9f4655acc495377779813 (diff) | |
Reordered fields in patches
Diffstat (limited to 'debian/patches/switch-to-free-font.patch')
| -rw-r--r-- | debian/patches/switch-to-free-font.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/switch-to-free-font.patch b/debian/patches/switch-to-free-font.patch index b8c7304c..c6faf245 100644 --- a/debian/patches/switch-to-free-font.patch +++ b/debian/patches/switch-to-free-font.patch @@ -1,5 +1,5 @@ -Subject: Switch the yosys manual font from luximono (non-free) to libertine (free) From: Sebastian Kuzminsky <seb@highlab.com> +Subject: Switch the yosys manual font from luximono (non-free) to libertine (free) Index: yosys/manual/APPNOTE_010_Verilog_to_BLIF.tex =================================================================== --- yosys.orig/manual/APPNOTE_010_Verilog_to_BLIF.tex 2016-02-28 22:17:25.000000000 -0700 |