diff options
author | 2018-12-24 15:02:03 -0500 | |
---|---|---|
committer | 2018-12-29 14:32:49 -0500 | |
commit | 7ae84ad5426bfb7ed238e8387456ad6a76edacb9 (patch) | |
tree | 2058155cbedf98ebb95abd4e97ba8e0545890886 /debian/coqide.dirs | |
parent | 2ae19ac8e049d296cf5b714f6defd12e786224cf (diff) |
Update to Debhelper 10
Diffstat (limited to 'debian/coqide.dirs')
0 files changed, 0 insertions, 0 deletions