diff options
author | Karl Berry <karl@freefriends.org> | 2019-01-14 22:30:05 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-01-14 22:30:05 +0000 |
commit | 84fbf442377e7694fdfb8dd265ba91ef3af5486c (patch) | |
tree | 018ce1559077710ccea3ad32c905c47a75c3ab10 | |
parent | af7cbe0e07505a3c93324c6008f280474dd8396f (diff) |
omit .mo files from source tree
git-svn-id: svn://tug.org/texlive/trunk@49708 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Build/source/texk/web2c/cwebdir/po/de/cweb-tl.mo | bin | 887 -> 0 bytes |
-rw-r--r-- | Build/source/texk/web2c/cwebdir/po/de/cweb.mo | bin | 12503 -> 0 bytes |
-rw-r--r-- | Build/source/texk/web2c/cwebdir/po/de/web2c-help.mo | bin | 3657 -> 0 bytes |
-rw-r--r-- | Build/source/texk/web2c/cwebdir/po/it/cweb.mo | bin | 12388 -> 0 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/cwebdir/po/de/cweb-tl.mo b/Build/source/texk/web2c/cwebdir/po/de/cweb-tl.mo Binary files differdeleted file mode 100644 index 9ea9d70917d..00000000000 --- a/Build/source/texk/web2c/cwebdir/po/de/cweb-tl.mo +++ /dev/null diff --git a/Build/source/texk/web2c/cwebdir/po/de/cweb.mo b/Build/source/texk/web2c/cwebdir/po/de/cweb.mo Binary files differdeleted file mode 100644 index 4719ac38a5c..00000000000 --- a/Build/source/texk/web2c/cwebdir/po/de/cweb.mo +++ /dev/null diff --git a/Build/source/texk/web2c/cwebdir/po/de/web2c-help.mo b/Build/source/texk/web2c/cwebdir/po/de/web2c-help.mo Binary files differdeleted file mode 100644 index b8eff120a9a..00000000000 --- a/Build/source/texk/web2c/cwebdir/po/de/web2c-help.mo +++ /dev/null diff --git a/Build/source/texk/web2c/cwebdir/po/it/cweb.mo b/Build/source/texk/web2c/cwebdir/po/it/cweb.mo Binary files differdeleted file mode 100644 index 49dc5e080df..00000000000 --- a/Build/source/texk/web2c/cwebdir/po/it/cweb.mo +++ /dev/null |