diff options
| author | Erik Martin-Dorel | 2016-09-27 15:53:04 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2016-09-27 16:59:26 +0200 |
| commit | c558aba6eb7efdde0319348e0ad978b7d4412970 (patch) | |
| tree | c96a14cb3a644d6f1ea116372d7790508669f99e /docs | |
| parent | 751ae6839caa9eedb9e3920815558ecd9b403f9e (diff) | |
Add a typing colon in the output of the Search ssreflect vernacular.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions