diff options
| author | Marius Kintel <marius@kintel.net> | 2010-11-06 15:03:01 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2010-11-06 15:03:01 (GMT) |
| commit | eed6e69530486aa57a981940565ffc0013ef5bd7 (patch) | |
| tree | 38fa69aab967e6eb8ce218bca2bd9abc33c2475d /src/node.cc | |
| parent | 8623c3f3898a82ae0c593fb93c4e19a43ab6cefd (diff) | |
Quick&Dirty locking of GUI to avoid running two compilations in parallel
Diffstat (limited to 'src/node.cc')
0 files changed, 0 insertions, 0 deletions