Using version control

Warning

This section is more than 10 years old… Things that were clearly obsolete were removed. But some may still be lurking out there.

This section contains information about the main concepts of version control and basic information on how to use Git, the version control system selected for source-code and technical documentation management.

Currently, this section is rather technical and unpalatable. That will change…