coht-deprecated

Collection of git repository which are no used any more (and they shouldn't be)