diff options
Diffstat (limited to 'Build/source/utils/asymptote/pen.cc')
-rw-r--r-- | Build/source/utils/asymptote/pen.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Build/source/utils/asymptote/pen.cc b/Build/source/utils/asymptote/pen.cc index 492bd322eea..5e526e5dcc1 100644 --- a/Build/source/utils/asymptote/pen.cc +++ b/Build/source/utils/asymptote/pen.cc @@ -9,9 +9,6 @@ namespace camp { -const double tex2ps=72.0/72.27; -const double ps2tex=1.0/tex2ps; - const char* DEFPAT="<default>"; const char* DEFLATEXFONT="\\usefont{\\ASYencoding}{\\ASYfamily}{\\ASYseries}{\\ASYshape}"; const char* DEFCONTEXTFONT="modern"; |