diff options
| author | jvoisin | 2018-01-18 13:14:55 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-18 13:14:55 +0100 |
| commit | a97f1ef6c0760cea23c2cd2d02bce0c1a246a687 (patch) | |
| tree | 247811ee5652d441f02e984e60835a85ab3fddd3 /debian/rules | |
| parent | 0b36d6ab1d91cdfca0ddc686a8b2ed930505210d (diff) | |
Update the release process wrt. Debian packages
Diffstat (limited to 'debian/rules')
0 files changed, 0 insertions, 0 deletions