debops/debops — pull request #7 by drybjed (2014-09-07 17:07:15+00:00)
Title: Rename contrib/ to misc/

This name should fit better for assorted stuff.