diff options
author | Norbert Preining <norbert@preining.info> | 2019-10-21 03:00:45 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-10-21 03:00:45 +0000 |
commit | 7da4243862494d1fc7478956362f4da6d80f4f7e (patch) | |
tree | 30922972d98c2056ecbed0a1c43b3b3a3758bf58 /graphics/asymptote/settings.cc | |
parent | 8fa38617045e3aa88b163fdc2fd683d72559b6d5 (diff) |
CTAN sync 201910210300
Diffstat (limited to 'graphics/asymptote/settings.cc')
-rw-r--r-- | graphics/asymptote/settings.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/graphics/asymptote/settings.cc b/graphics/asymptote/settings.cc index 034d827ed3..36c91da1a5 100644 --- a/graphics/asymptote/settings.cc +++ b/graphics/asymptote/settings.cc @@ -1344,7 +1344,6 @@ void initSettings() { addOption(new userSetting("user", 'u', "string", "General purpose user string")); - addOption(new IntSetting("maxvertices", 0, "n", "Maximum number of vertices to queue", 0)); addOption(new realSetting("zoomfactor", 0, "factor", "Zoom step factor", 1.05)); addOption(new realSetting("zoomPinchFactor", 0, "n", |