kili 1e47bdc07e Remove devel/c2hs. Broken and not used by anything.

2016-01-25 21:36:19 +00:00

..

patches

…