wmayer 7d09444dd9 + fixes #0001237: the project file is not saved when the /tmp directory is full, but the user is not aware of it

2015-09-19 18:59:22 +02:00

8.8 KiB

Raw Blame History

View Raw