lawnjelly 770d9f8220 Portals - add gizmo handles for editing portals and rooms ... Gizmo handles are added for much more user friendly editing of portals and room bounds.		2021-08-06 07:53:22 +01:00
..
classes	Portals - add gizmo handles for editing portals and rooms	2021-08-06 07:53:22 +01:00
tools	makerst: use link titles for external tutorials	2021-08-03 10:20:19 +02:00
Doxyfile	Remove trailing whitespace	2018-11-20 11:15:02 +01:00
Makefile	[HTML5] Add jsdoc2rst tool.	2021-02-26 15:35:45 +01:00