diff options
| author | jvoisin | 2018-02-22 16:40:01 +0100 |
|---|---|---|
| committer | jvoisin | 2018-02-22 16:40:34 +0100 |
| commit | 9e50afb09fa4efb012c0bd6e97ad7ac1b2a80f13 (patch) | |
| tree | 9c1d6bfc2c2b19d6bac3d8b91ab598b12ec89a92 /debian/source | |
| parent | 884bbbdf5f0916a840bb9fc8f40c14163d58fad8 (diff) | |
Fix the debian dependencies
This should close #149
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions