diff options
Diffstat (limited to 'Build/source/texk/web2c/ctiedir/ctie.inc')
-rw-r--r-- | Build/source/texk/web2c/ctiedir/ctie.inc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/ctiedir/ctie.inc b/Build/source/texk/web2c/ctiedir/ctie.inc deleted file mode 100644 index 435c17d8a18..00000000000 --- a/Build/source/texk/web2c/ctiedir/ctie.inc +++ /dev/null @@ -1,4 +0,0 @@ -include line 1 -include line 2 -@i ctie.inc1 -include line 3 |