[ghdl: 2/3] Merge branch 'master' of ssh://pkgs.fedoraproject.org/ghdl

[sailer]

commit 06fe474724e327ed84e15f9f70db17029e9cdabe
Merge: 0c883d9 a19d341
Author: Thomas Sailer <t.sailer at alumni.ethz.ch>
Date:   Wed May 1 23:33:28 2013 +0200

    Merge branch 'master' of ssh://pkgs.fedoraproject.org/ghdl

 ghdl-libgomp.patch |   22 ----------------------
 ghdl-poption.patch |   11 +++++++++++
 ghdl.spec          |    2 +-
 3 files changed, 12 insertions(+), 23 deletions(-)
---