tree 0246da4f9e1bd174e3dba39471f3c835fe57645b
parent a29f4e1f0436104f764dd3d9733db0101aa05be2
author Haoming Zhang <zhm1993zhm@gmail.com> 1499466640 -0700
committer Haoming Zhang <zhm1993zhm@gmail.com> 1499466640 -0700

make cover.sh compatible with Goobuntu, improve style