Daniele Bartolini 121484046d tools: warn if the file already exists or it is outside the source directory 5 lat temu
..
doxygen 139d98acfb Use consistent naming 8 lat temu
hackers 658b6e154d docs: fix link 5 lat temu
shots 4762bea761 docs: update level-editor.png 5 lat temu
Makefile fd34791da8 Use Sphinx for documentation 9 lat temu
basics.rst c51a01212a docs: add building instructions 5 lat temu
boot_config.rst f377c62871 Update docs 9 lat temu
changelog.rst 121484046d tools: warn if the file already exists or it is outside the source directory 5 lat temu
command_line.rst c51a01212a docs: add building instructions 5 lat temu
conf.py d7791611f8 Bump v0.39.0 5 lat temu
index.rst c3496d2bc5 docs: add license section 5 lat temu
introduction.rst 736037e6cf tools: bump minimum GTK+ version to 3.16 5 lat temu
license.rst c3496d2bc5 docs: add license section 5 lat temu
lua_api.rst e336d9fcf3 device: add Window.set_cursor_mode() 6 lat temu