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	Fix typos with codespell	2022-02-11 09:50:59 +01:00
translations	i18n: Sync classref translations with Weblate	2022-03-29 01:22:21 +02:00
class.xsd	Add an XML schema for documentation	2022-03-16 23:01:02 +01:00
Doxyfile	Remove trailing whitespace	2018-11-20 11:15:02 +01:00
Makefile	i18n: Add --lang option to make_rst.py to write translated headings	2021-12-21 14:40:13 +01:00