Re: [PATCH 1/6] doc: Mention Ada language option

On 2/6/17 11:00 pm, Sebastian Huber wrote: > --- > doc/source-builder.txt | 4 +++- > 1 file changed, 3 insertions(+), 1 deletion(-) > > diff --git a/doc/source-builder.txt b/doc/source-builder.txt > index 2b9a17d..e996954 100644 > --- a/doc/source-builder.txt > +++ b/doc/source-builder.txt > @@

[PATCH 1/6] doc: Mention Ada language option

--- doc/source-builder.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/source-builder.txt b/doc/source-builder.txt index 2b9a17d..e996954 100644 --- a/doc/source-builder.txt +++ b/doc/source-builder.txt @@ -571,12 +571,14 @@ because they are implemented with the conf