cliffordwolf/yosys — pull request #44 by Martoni (2014-12-07 18:06:19+00:00)
Title: manual/presentation.tex: bg option is unknown with beamer 3.3 in beamercolorbox

Permit to generate manual with beamer 3.3 deleting fg= option in beamercolorbox.