Michael Schwarz 987fa08ce6 New workaround for temp dir on different device. ... Currently, on setups where the project dir is on a different file system as the system temporary directory, a temporary directory is instead created on the project dir. This is not very nice. With this change, we still create temporary files in the system temporary directory but copy instead of move files from and to the temporary directory, if necessary, which solves the problems.		2015-09-16 01:40:00 +02:00
..
__init__.py	Added support for recording dependencies while compiling OpenSCAD files.	2014-12-12 11:44:29 +01:00
__main__.py	New workaround for temp dir on different device.	2015-09-16 01:40:00 +02:00