This is an old revision of the document!
Source development requires a series of tool. Some important (at least important for our development) are listet here:
It is of utmost importance to use some sort of tool which manages different versions of your files. These tools are called version control or revision control tools. We use git and githubfor our projects.