diff options
| author | Enrico Tassi | 2015-08-17 16:35:06 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-08-17 16:35:15 +0200 |
| commit | 8a22b549e61a1fc120b20a5b220764df6c49b3f8 (patch) | |
| tree | 91c5bd8e23d2944f5947a216395cc54ada5f2fb2 /kernel | |
| parent | 369a0c9354497639d96ba2fef94c920e051d00fb (diff) | |
windows build scripts made more accurate in detecting failures
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions