diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-02-12 14:55:53 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-02-12 14:55:53 +0100 |
| commit | 9f837ad6cdcc8c837a6014abe555909ff9ce094c (patch) | |
| tree | dda721d62389d2be6cd30cb2fdf20321f539bf10 /doc | |
| parent | d67011e2b55dbd0e2158c4c144f5092e1593d70a (diff) | |
fix typo found by marcello
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions