diff options
author | 2014-07-27 10:03:17 +0200 | |
---|---|---|
committer | 2014-07-27 10:03:17 +0200 | |
commit | 18d6b012418d2890e4225a14983318174728de6b (patch) | |
tree | 6db1c20f8e2ee95f19d48c770c3ad5fd57100925 /debian/coqide.dirs | |
parent | 10d07683104a610949460086d9fcc70a79717b1d (diff) |
New upstream release
Diffstat (limited to 'debian/coqide.dirs')
0 files changed, 0 insertions, 0 deletions