diff options
| author | Sebastian Méric de Bellefon <arnaudpourseb@gmail.com> | 2016-06-16 23:34:39 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-16 23:34:39 -0400 |
| commit | 60f90cd279af21f9d1493cb089309b67ff513146 (patch) | |
| tree | 3494d2e5f8a09595a9c8ca44cf98f6d30c78b65a /doc/Makefile | |
| parent | e40990d4dbb80db2b7bf5a939866f9eaf4d5b309 (diff) | |
| parent | f45e2c42ae38d651c2d03063724383c35af15788 (diff) | |
Merge pull request #534 from bgamari/T531
ocean: Ensure that synopsis fully covers other content
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions