diff options
-rw-r--r-- | Build/source/texk/web2c/texprofdir/doc/texprof.hnt | bin | 0 -> 11675125 bytes |
-rw-r--r-- | Build/source/texk/web2c/texprofdir/doc/texprof.pdf | bin | 0 -> 4191083 bytes |
-rw-r--r-- | Build/source/texk/web2c/texprofdir/doc/texprofile.hnt | bin | 0 -> 966347 bytes |
-rw-r--r-- | Build/source/texk/web2c/texprofdir/doc/texprofile.pdf | bin | 0 -> 326261 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/texprofdir/doc/texprof.hnt b/Build/source/texk/web2c/texprofdir/doc/texprof.hnt Binary files differnew file mode 100644 index 00000000000..49d602fd7dc --- /dev/null +++ b/Build/source/texk/web2c/texprofdir/doc/texprof.hnt diff --git a/Build/source/texk/web2c/texprofdir/doc/texprof.pdf b/Build/source/texk/web2c/texprofdir/doc/texprof.pdf Binary files differnew file mode 100644 index 00000000000..af5685cd1d3 --- /dev/null +++ b/Build/source/texk/web2c/texprofdir/doc/texprof.pdf diff --git a/Build/source/texk/web2c/texprofdir/doc/texprofile.hnt b/Build/source/texk/web2c/texprofdir/doc/texprofile.hnt Binary files differnew file mode 100644 index 00000000000..d050a7d813d --- /dev/null +++ b/Build/source/texk/web2c/texprofdir/doc/texprofile.hnt diff --git a/Build/source/texk/web2c/texprofdir/doc/texprofile.pdf b/Build/source/texk/web2c/texprofdir/doc/texprofile.pdf Binary files differnew file mode 100644 index 00000000000..c66779e40ed --- /dev/null +++ b/Build/source/texk/web2c/texprofdir/doc/texprofile.pdf |