Merge 'master' into current 'next' branch.
There was one minor change to the title page on master that isn't represented on 'next'. While I could have rebased, I chose to merge so I didn't have delete the publicly published 'next' branch on gitorious like I have to do when I rebase.
This commit is contained in:
commit
2c0d78bdae
1 changed files with 3 additions and 1 deletions
|
@ -127,7 +127,9 @@ those licenses should note the
|
||||||
|
|
||||||
\vfill
|
\vfill
|
||||||
|
|
||||||
Patches are welcome to this material. Sources can be found in the Git
|
This material is regularly updated by a community of contributors and is
|
||||||
|
available online at all times at \url{https://copyleft.org/guide/}. Patches
|
||||||
|
are indeed welcome to this material. Sources can be found in the Git
|
||||||
repository at: \url{https://gitorious.org/gpl-compliance-tools/tutorial/}
|
repository at: \url{https://gitorious.org/gpl-compliance-tools/tutorial/}
|
||||||
}
|
}
|
||||||
\end{center}
|
\end{center}
|
||||||
|
|
Loading…
Reference in a new issue