Ryan Roden-Corrent f84e2db35e 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.		2022-04-05 07:07:56 -04:00
..
classes	Clarify Array.erase for nonexistant element.	2022-04-05 07:07:56 -04:00
tools	Fix typos with codespell	2022-02-10 12:30:19 +01:00
translations	i18n: Sync classref translations with Weblate	2022-03-29 01:23:07 +02:00
class.xsd	Add an XML schema for documentation	2022-02-15 00:03:31 +01:00
Doxyfile	Replace HTTP links with HTTPS for sites with HTTPS versions	2021-08-22 20:13:11 -05:00
Makefile	i18n: Add --lang option to make_rst.py to write translated headings	2021-12-21 13:47:11 +01:00