This is an old revision of the document!
git
git init git remote add origin https://github.com/CedricZhang9516/MuYield.git git pull origin master git add <file> git commit git push origin master git log
for the second and the following git res:
git clone https://github.com/CedricZhang9516/diffMu.git cd diffMu git status