예제 #1
0
파일: manager.py 프로젝트: htquach/Cockerel 
def runcoqd(serialize):
    coqd_main()
예제 #2
0
파일: manager.py 프로젝트: dcolish/Cockerel 
def runcoqd(modules, serialize):
    coqd_main(modules, serialize)