Change History for DeveloperDocumentation

Version Date Author Comment
10 3 years tincantech
9 3 years Gert van Dijk split github PR download and git-send-email. also fix git-send-email …
8 3 years Antonio
7 3 years Samuli Seppänen
6 3 years Steffan Karger
5 4 years Samuli Seppänen Update documentation regarding GitHub? pull requests
4 4 years Samuli Seppänen
3 4 years Samuli Seppänen
2 4 years Samuli Seppänen
1 4 years Samuli Seppänen