Hugo Locurcio 415b7a7bfc Improve documentation for String.get_extension() ... (cherry picked from commit 09eb98c530)		2021-09-21 17:14:58 +02:00
..
classes	Improve documentation for String.get_extension()	2021-09-21 17:14:58 +02:00
tools	Add theme item descriptions to the online documentation	2021-08-06 18:20:51 +03:00
Doxyfile
Makefile	[HTML5] Add jsdoc2rst tool.	2021-02-26 15:35:45 +01:00