Hugo Locurcio badcfa2523 Expose OS.read_string_from_stdin() to the scripting API ... This can be used in scripts to read user input in a blocking manner. This also removes the unused `block` argument, which is always `true`.		2023-01-16 11:39:53 +01:00
..
classes	Expose OS.read_string_from_stdin() to the scripting API	2023-01-16 11:39:53 +01:00
tools	Add a [kbd] tag for highlighting keyboard shortcuts in the editor help	2022-08-25 19:53:49 +02:00
translations	One Copyright Update to rule them all	2023-01-10 15:26:54 +01:00
class.xsd	Add an XML schema for documentation	2022-03-16 23:01:02 +01:00
Doxyfile
Makefile	Fixes doc/Makefile fails if path contains spaces	2022-09-20 10:26:17 +02:00