diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-08T00·19+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-08T00·19+0000 |
| commit | d3fe6ab024df7764f4de2a9dcf88e2daa981f786 (patch) | |
| tree | a1483cc708d50b820c5b2ef75db2bf7cdf8fafea /doc/dev | |
| parent | 096194ab29db244fe791404e02b729a3e38eee8d (diff) | |
* Also for convenience, change the ownership of the build output even
in case of failure.
Diffstat (limited to 'doc/dev')
0 files changed, 0 insertions, 0 deletions