Home
People
Projects
Research
Publications
Surveys
Courses
Student Projects
Jobs
Downloads
This is an old revision of the document!
Please follow these simple guidelines to help everybody get the most out of revision control:
Makefile or scripts for auto-generating files where their making is not obvious..gitignore files to keep the workspace clean for git status and friends. List all auto-generated files, including backup files, in .gitignore.git log, annotate, diff etc. For example, confine content changes and formatting changes to separate commits.