diff options
Diffstat (limited to 'Build/source/texk/web2c/alephdir/aleph-pool.h')
-rw-r--r-- | Build/source/texk/web2c/alephdir/aleph-pool.h | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Build/source/texk/web2c/alephdir/aleph-pool.h b/Build/source/texk/web2c/alephdir/aleph-pool.h deleted file mode 100644 index 950a14d7b89..00000000000 --- a/Build/source/texk/web2c/alephdir/aleph-pool.h +++ /dev/null @@ -1,9 +0,0 @@ -#ifndef ALEPH_POOL_H -#define ALEPH_POOL_H -typedef int integer; -typedef integer strnumber; -typedef unsigned short packedASCIIcode; -typedef integer poolpointer; -extern packedASCIIcode * strpool; -extern poolpointer poolptr; -#endif |