about summary refs log tree commit diff
path: root/doc/manual/release-notes.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-12-08T00·19+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-12-08T00·19+0000
commitd3fe6ab024df7764f4de2a9dcf88e2daa981f786 (patch)
treea1483cc708d50b820c5b2ef75db2bf7cdf8fafea /doc/manual/release-notes.xml
parent096194ab29db244fe791404e02b729a3e38eee8d (diff)
* Also for convenience, change the ownership of the build output even
  in case of failure.

Diffstat (limited to 'doc/manual/release-notes.xml')
0 files changed, 0 insertions, 0 deletions