commit | 38a7fbfbe39da0b04cab78094ffa24214d8af2fc | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Sep 20 10:40:58 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Sep 20 10:40:58 2011 +0000 |
tree | 2a0792b06a4de3294b6398fe24375a16c04474c9 | |
parent | 9242e597a435fee08b2db5aab9c1588293d0aea4 [diff] |
Give more explanation about the nature of this patch feature. Same as r2012 for OTDT 2.0.1.