diff options
Diffstat (limited to 'Build')
-rwxr-xr-x[-rw-r--r--] | Build/source/texk/dvi2tty/dvi2tty-src/debian/postinst | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | Build/source/texk/dvi2tty/dvi2tty-src/debian/prerm | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | Build/source/texk/dvi2tty/dvi2tty-src/debian/rules | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-src/debian/postinst b/Build/source/texk/dvi2tty/dvi2tty-src/debian/postinst index 47877c36f67..47877c36f67 100644..100755 --- a/Build/source/texk/dvi2tty/dvi2tty-src/debian/postinst +++ b/Build/source/texk/dvi2tty/dvi2tty-src/debian/postinst diff --git a/Build/source/texk/dvi2tty/dvi2tty-src/debian/prerm b/Build/source/texk/dvi2tty/dvi2tty-src/debian/prerm index ff3fbe963de..ff3fbe963de 100644..100755 --- a/Build/source/texk/dvi2tty/dvi2tty-src/debian/prerm +++ b/Build/source/texk/dvi2tty/dvi2tty-src/debian/prerm diff --git a/Build/source/texk/dvi2tty/dvi2tty-src/debian/rules b/Build/source/texk/dvi2tty/dvi2tty-src/debian/rules index 5c919f9eebd..5c919f9eebd 100644..100755 --- a/Build/source/texk/dvi2tty/dvi2tty-src/debian/rules +++ b/Build/source/texk/dvi2tty/dvi2tty-src/debian/rules |