Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Branch: master
Fetching contributors…

Cannot retrieve contributors at this time

15 lines (10 sloc) 0.413 kB
git add .
git status
git commit -m "Things."
git push origin master
# git remote add arthuraa https://github.com/arthuraa/cis670-project.git
# git pull arthuraa master
# git rm syntax.ml
git add -u
git commit -m 'delete removed files'
# It deletes all removed files and updates what was modified. Just doesn't add new files. It's better because if you have a file named "deleted.txt" it will also be removed.
Jump to Line
Something went wrong with that request. Please try again.