kazutomi/chotools — pull request #6 by kazutomi (2014-04-17 04:37:58+00:00)
Title: [WIP] Merge chols chogrep

chogrep's function is merged in chols with option -k