diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 13:43:12 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 13:44:20 +0200 |
| commit | dfb9e96d8ad38add77e2c874cbe7c5d939cbf557 (patch) | |
| tree | aaad855f3d91cb7c51babcd501731400293fce19 /debian/patches/series | |
| parent | 7441f013f50f613b1a9c0e7a9bff697df442a78e (diff) | |
Offline doc headers patch.
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index efd45f90..e92865f0 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ 0005-Don-t-set-runtime-library-dirs-for-Python-extensions.patch 0006-Force-linking-of-Python-module-with-CGAL.patch 0007-Force-linking-against-libatomic-for-parts-that-use-T.patch +0008-Offline-header-to-avoid-loading-remote-resources-in-.patch |