| commit | c7fe0e89d6626638d7dcdd9e30b9aa544450fd03 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Dec 09 13:56:43 2017 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Dec 09 13:56:43 2017 +0100 |
| tree | 1c2452900bf47c9072be1c4dfadcaa1b313a4596 | |
| parent | b656ce3e1df9522e612b0eec57cefa1918534c37 [diff] |
Doc: mark an old OT-addition