Ryan Roden-Corrent 24d40ebed9 Clarify Array.erase for nonexistant element. ... The docs specify that Array.remove does nothing if the index does not exist. Array.erase does not have a similar phrase, so it's unclear if erase will print an error, or silently do nothing. (cherry picked from commit f84e2db35e)		2022-04-13 11:43:49 +02:00
..
classes	Clarify Array.erase for nonexistant element.	2022-04-13 11:43:49 +02:00
tools	…
translations	i18n: Sync classref translations with Weblate	2022-03-29 01:22:21 +02:00
Doxyfile	…
Makefile	…
class.xsd	Add an XML schema for documentation	2022-03-16 23:01:02 +01:00