diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-04 16:04:30 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-05 19:52:14 +0200 |
| commit | cd04bf55d158f96b260a591f76cff3a2d90d79e1 (patch) | |
| tree | 03939065f87f3c6204ef1f8a596181668585e8e3 /doc/common | |
| parent | 62807372f1e3f78dffc02c07b0b801d4d8f4a78f (diff) | |
Chapter 4 of reference manual: Fixing asymmetric patterns error +
no spacing in English before ":".
Diffstat (limited to 'doc/common')
0 files changed, 0 insertions, 0 deletions