DOCS/lua: remove superfluous parameter

This seems to have been a leftover from copying the entry below it.
mitzsch · Sep 30, 2023 · e969072 · e969072
1 parent 3a572c7
commit e969072
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DOCS/man/lua.rst b/DOCS/man/lua.rst
@@ -199,7 +199,7 @@ The ``mp`` module is preloaded, although it can be loaded manually with
     Whether this works and how long it takes depends on the command and the
     situation. The abort call itself is asynchronous. Does not return anything.
 
-``mp.del_property(name [,def])``
+``mp.del_property(name)``
     Delete the given property. See ``mp.get_property`` and `Properties`_ for more
     information about properties. Most properties cannot be deleted.