diff options
author | Samuel Mimram <smimram@debian.org> | 2006-11-21 21:38:49 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2006-11-21 21:38:49 +0000 |
commit | 94594cf938e4523e60c2a750d56e5a4ab6ca5a42 (patch) | |
tree | c59411813c41fb7396d679558f39a4770eec1b15 /debian/patches/00list | |
parent | 70b9be8acc1d1ada178a95c1cd4013506e9d0d1b (diff) |
New upstream release.debian/8.1.gamma-1
Diffstat (limited to 'debian/patches/00list')
-rw-r--r-- | debian/patches/00list | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/00list b/debian/patches/00list index 826a242c..5e873f10 100644 --- a/debian/patches/00list +++ b/debian/patches/00list @@ -1,4 +1,4 @@ coqdoc_stdlib browser makefile -assert +system |