diff options
Diffstat (limited to 'Build/source/texk/web2c/tmf-pool.h')
-rw-r--r-- | Build/source/texk/web2c/tmf-pool.h | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Build/source/texk/web2c/tmf-pool.h b/Build/source/texk/web2c/tmf-pool.h deleted file mode 100644 index cab97311570..00000000000 --- a/Build/source/texk/web2c/tmf-pool.h +++ /dev/null @@ -1,17 +0,0 @@ -/* Copyright 2008 Akira Kakuto - You may freely use, modify and/or distribute this file. */ - -#ifndef TMF_POOL_H -#define TMF_POOL_H -#ifndef META_FONT -typedef int integer; -typedef integer strnumber; -typedef unsigned char packedASCIIcode; -typedef integer poolpointer; -extern packedASCIIcode *strpool; -extern poolpointer poolptr; -#else -#define EXTERN extern -#include "mfd.h" -#endif -#endif |