From 63c680eb803fe6dca2145cd23696e8cbedc931dc Mon Sep 17 00:00:00 2001
From: mirabilos <t.glaser@tarent.de>
Date: Mon, 6 Aug 2018 18:00:17 +0200
Subject: [PATCH] this makes the package jessie-compatible again,
which we still need in production at some site
---
unicodedomino.sty | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/unicodedomino.sty b/unicodedomino.sty
index 912b361..8124b00 100644
--- a/unicodedomino.sty
+++ b/unicodedomino.sty
@@ -28,7 +28,7 @@
% makes all UTF-8 available in listings.
\NeedsTeXFormat{LaTeX2e}%
-\ProvidesPackage{unicodedomino}[2018/08/06 1.5~ Domino for unknown codepoints]%
+\ProvidesPackage{unicodedomino}[2018/08/06 1.5 Domino for unknown codepoints]%
\makeatletter%
\ifx\numexpr\@undefined%
@@ -37,11 +37,6 @@
\ifx\UTFviii@defined\@undefined%
\PackageError{unicodedomino}{This package requires UTF-8 input encoding}%
\fi%
-\ifx\decode@UTFviii\@undefined%
- \PackageError{unicodedomino}%
- {Your utf8.def is too old, consider updating it}%
- {You will need v1.1o 2015/08/28, Debian stretch or newer}%
-\fi%
% pull code from other files
\ifx\UTFviii@check@three\@undefined%
--
GitLab