Wednesday, January 27, 2016

GIT

git add -u before committing the changes after you delete a file in the git directory

1 comment:

  1. Setting up git server in a local machine:
    http://www.iittutorials.com/linux/how-to-set-up-git-server-in-a-local-machine-2/

    ReplyDelete

VIS & VL2MV

18/01/2016: -----------     Installing VIS model checker     ----------------------------         Download from: http://vlsi.colorado.edu/~...