From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 28 Aug 2018 11:37:11 +0000 (+0200)
Subject: Merge pull request #619 from mmicko/master
X-Git-Tag: yosys-0.8~17
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cf2ea218998ed3bbe6ca079d38cfe415324a6ddd;p=yosys.git

Merge pull request #619 from mmicko/master

Remove mercurial, since it is not needed anymore
---

cf2ea218998ed3bbe6ca079d38cfe415324a6ddd