diff options
author | Sebastian Kuzminsky <seb@highlab.com> | 2016-05-14 15:44:13 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-20 11:01:06 +0200 |
commit | 14be9787139916dbe913db384620112a16526070 (patch) | |
tree | 9bd3a7add0e18371df18cc7c7b7fcb76250e6e0c /manual/PRESENTATION_Prog/Makefile | |
parent | 99eef795feaf8d155c554062e3f2eb0f70492dcf (diff) |
Switch the yosys manual font from luximono (non-free) to inconsolata (free)
===================================================================
Gbp-Pq: Name switch-to-free-font.patch
Diffstat (limited to 'manual/PRESENTATION_Prog/Makefile')
0 files changed, 0 insertions, 0 deletions