diff options
| author | Michael Bien <[email protected]> | 2010-03-16 23:27:53 +0100 |
|---|---|---|
| committer | Michael Bien <[email protected]> | 2010-03-16 23:27:53 +0100 |
| commit | 2c230d8e774653c68905b5817c935c405ba1b548 (patch) | |
| tree | 85e69536a60e78ad78a6d7804845fbdcba77ebfd /build.xml | |
| parent | df1138e7ffad1f5b1d34d3923ee9a089656031e7 (diff) | |
made sure to flush gl/cl pipelines correctly (-> fixed rare segmentation fault).
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions