diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2022-08-19 11:21:26 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2022-08-19 11:21:26 +0200 |
| commit | 98c4b059533356dea8c76564f1c098d646ab273d (patch) | |
| tree | 09e7e8a943cec788160ef1722907fb9a31a9ea89 /debian/patches/series | |
| parent | 07cdae61d128d9aea822554ee080509524cdafdd (diff) | |
Renumber patch
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index c3448dab..1c41a910 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,4 +2,4 @@ 0002-Use-system-MathJax.patch 0003-Offline-header-for-docs.patch 0004-Disable-Sphinx.patch -0006-CGAL-5.5-compatibility.patch +0005-CGAL-5.5-compatibility.patch |