diff options
| -rw-r--r-- | Build/source/texk/devnag/Makefile.in (renamed from Build/source/texk/devnag/Makefile.in.tmp) | 0 | ||||
| -rw-r--r-- | Build/source/texk/devnag/src/Makefile.in (renamed from Build/source/texk/devnag/src/Makefile.in.tmp) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/devnag/Makefile.in.tmp b/Build/source/texk/devnag/Makefile.in index 5f50cb93a69..5f50cb93a69 100644 --- a/Build/source/texk/devnag/Makefile.in.tmp +++ b/Build/source/texk/devnag/Makefile.in diff --git a/Build/source/texk/devnag/src/Makefile.in.tmp b/Build/source/texk/devnag/src/Makefile.in index 58260fd45da..58260fd45da 100644 --- a/Build/source/texk/devnag/src/Makefile.in.tmp +++ b/Build/source/texk/devnag/src/Makefile.in |