enable jhc-prim
enable jhc-prim

Ignore-this: 841af8702275a45cb83452bd222e5603

darcs-hash:20120117124540-1a7c6-a880b7081cf4b50af53167466a000d4bd4851062

jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc