Random tips -- git commans, makefile, c, etc. Author : Hanchen Jin Date : Feb. 7, 2018 Version : 1.0 various tips/memos