diff options
| author | LeLutin <gabster@lelutin.ca> | 2015-04-28 22:25:51 +0000 |
|---|---|---|
| committer | LeLutin <gabster@lelutin.ca> | 2015-04-28 22:25:51 +0000 |
| commit | 5a9e3a456e8c9023222abb3ab08ae80323a1470a (patch) | |
| tree | fa7897f9cc932a954662fb37b592aed8f8df719b /gpl.txt | |
| parent | 106413f957f34a56bc8d880ea1950b14be83381b (diff) | |
| parent | 3dac57374f63ca6f0565f46feb5970fade960c6b (diff) | |
Merge branch 'master' into 'master'
updates for debian sources
There have been some recent changes in debian resulting in changes to sources
* jessie was released and very soon there will be a jessie-backports, so the backports logic needs to handle that
* the http.debian.net redirector has a new official url
See merge request !8
Diffstat (limited to 'gpl.txt')
0 files changed, 0 insertions, 0 deletions