On Tue, Jun 20, 2017 at 02:58:17AM +0200, Guillaume MM wrote:
> Le 11/06/2017 à 01:08, Enrico Forestieri a écrit :
> > On Mon, Oct 17, 2016 at 00:16:21AM +0200, Guillaume Munch wrote:
> >
> > > commit 676a0639c505d52336e3228c44c2515ccbbaf34a
> > > Author: Guillaume Munch
> > > Date: Sat Sep 24
On Tue, Jun 20, 2017 at 02:58:17AM +0200, Guillaume MM wrote:
> Le 11/06/2017 à 01:08, Enrico Forestieri a écrit :
> > On Mon, Oct 17, 2016 at 00:16:21AM +0200, Guillaume Munch wrote:
> >
> > > commit 676a0639c505d52336e3228c44c2515ccbbaf34a
> > > Author: Guillaume Munch
> > > Date: Sat Sep 24
Le 11/06/2017 à 01:08, Enrico Forestieri a écrit :
On Mon, Oct 17, 2016 at 00:16:21AM +0200, Guillaume Munch wrote:
commit 676a0639c505d52336e3228c44c2515ccbbaf34a
Author: Guillaume Munch
Date: Sat Sep 24 00:49:00 2016 +0200
Use otexstringstream for the captions of InsetCaptionables
On Sun, Jun 11, 2017 at 01:08:34AM +0200, Enrico Forestieri wrote:
> On Mon, Oct 17, 2016 at 00:16:21AM +0200, Guillaume Munch wrote:
>
> > commit 676a0639c505d52336e3228c44c2515ccbbaf34a
> > Author: Guillaume Munch
> > Date: Sat Sep 24 00:49:00 2016 +0200
> >
> > Use otexstringstream for
On Sun, Jun 11, 2017 at 01:08:34AM +0200, Enrico Forestieri wrote:
> On Mon, Oct 17, 2016 at 00:16:21AM +0200, Guillaume Munch wrote:
>
> > commit 676a0639c505d52336e3228c44c2515ccbbaf34a
> > Author: Guillaume Munch
> > Date: Sat Sep 24 00:49:00 2016 +0200
> >
> > Use otexstringstream for
On Mon, Oct 17, 2016 at 00:16:21AM +0200, Guillaume Munch wrote:
> commit 676a0639c505d52336e3228c44c2515ccbbaf34a
> Author: Guillaume Munch
> Date: Sat Sep 24 00:49:00 2016 +0200
>
> Use otexstringstream for the captions of InsetCaptionables
>
> * Enable TexRow for InsetListings