Hugo Locurcio 1b9b07e658 Document how to change the default gravity at runtime ... Changing the default gravity at runtime isn't exactly obvious, so it makes sense to add a code sample.		2020-01-25 16:28:28 +01:00
..
classes	Document how to change the default gravity at runtime	2020-01-25 16:28:28 +01:00
tools	Count theme items in doc_status.py	2020-01-24 14:23:58 +01:00
Doxyfile	Remove trailing whitespace	2018-11-20 11:15:02 +01:00
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00