diff options
| -rw-r--r-- | debian/docs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/docs b/debian/docs index 805bc92d..cee3c113 100644 --- a/debian/docs +++ b/debian/docs @@ -1,2 +1,3 @@ +CHANGES README.md CREDITS |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |