diff options
| author | jvoisin | 2018-02-21 10:50:32 +0100 |
|---|---|---|
| committer | jvoisin | 2018-02-21 10:50:32 +0100 |
| commit | 2d8dada512af99ad369b6d7475ded2edf6dd1c19 (patch) | |
| tree | 2a043e108bac2319ba9a8b4129c93c20aa47d08b /debian/copyright | |
| parent | 02f4b9e2b8827afca8de81e66febd0e1ceee1273 (diff) | |
Remove a useless file
This should close #64
Diffstat (limited to 'debian/copyright')
0 files changed, 0 insertions, 0 deletions