diff options
Diffstat (limited to 'Build/source/texk/windvi/psheader.sed')
| -rw-r--r-- | Build/source/texk/windvi/psheader.sed | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Build/source/texk/windvi/psheader.sed b/Build/source/texk/windvi/psheader.sed deleted file mode 100644 index 22f1394af41..00000000000 --- a/Build/source/texk/windvi/psheader.sed +++ /dev/null @@ -1,3 +0,0 @@ -/^_Xconst /s/psheader\[\] = "\\/*psheader[] = {/ -/^\/TeXDict/,$s/^\(.*\)\\n\\$/"\1",/ -/^\(.*"\);/s//"\1, 0 };/
\ No newline at end of file |