diff options
| -rw-r--r-- | Build/source/texk/devnag/Makefile.in.tmp (renamed from Build/source/texk/devnag/Makefile.in) | 0 | ||||
| -rw-r--r-- | Build/source/texk/devnag/config.h.in.tmp (renamed from Build/source/texk/devnag/config.h.in) | 0 | ||||
| -rwxr-xr-x | Build/source/texk/devnag/configure.tmp (renamed from Build/source/texk/devnag/configure) | 0 | ||||
| -rw-r--r-- | Build/source/texk/devnag/src/Makefile.in.tmp (renamed from Build/source/texk/devnag/src/Makefile.in) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/devnag/Makefile.in b/Build/source/texk/devnag/Makefile.in.tmp index 5f50cb93a69..5f50cb93a69 100644 --- a/Build/source/texk/devnag/Makefile.in +++ b/Build/source/texk/devnag/Makefile.in.tmp diff --git a/Build/source/texk/devnag/config.h.in b/Build/source/texk/devnag/config.h.in.tmp index f88ef3c23df..f88ef3c23df 100644 --- a/Build/source/texk/devnag/config.h.in +++ b/Build/source/texk/devnag/config.h.in.tmp diff --git a/Build/source/texk/devnag/configure b/Build/source/texk/devnag/configure.tmp index 74cd27095e0..74cd27095e0 100755 --- a/Build/source/texk/devnag/configure +++ b/Build/source/texk/devnag/configure.tmp diff --git a/Build/source/texk/devnag/src/Makefile.in b/Build/source/texk/devnag/src/Makefile.in.tmp index 58260fd45da..58260fd45da 100644 --- a/Build/source/texk/devnag/src/Makefile.in +++ b/Build/source/texk/devnag/src/Makefile.in.tmp |