Copy compleat defs to repo