diff options
Diffstat (limited to 'Build/source/libs/EXTRA.LIB')
-rw-r--r-- | Build/source/libs/EXTRA.LIB | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/libs/EXTRA.LIB b/Build/source/libs/EXTRA.LIB deleted file mode 100644 index 3a7dcfa7556..00000000000 --- a/Build/source/libs/EXTRA.LIB +++ /dev/null @@ -1,2 +0,0 @@ -Extra libraries that are used by programs in the texk directory and -outside of it. |