12
12
tarball, but some files are missing because they are output files and thus do not
13
13
belong into the repository.
14
14
<h2>Obtaining the Source</h2>
26
18
<p>After you have cloned the repository, you are in the master branch by default. This
27
19
is where we keep the devel branch. If you need any other branch, you need to do
28
20
a "git checkout --track -b branch origin/branch". For example, the command to check out