diff LICENSE @ 8527:8a526d8b4604

Always clear 'queued for compilation' flag at the end of a compilation task
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 27 Mar 2013 14:35:10 +0100
parents cdef89d821bd
children
line wrap: on
line diff