On Mon, Mar 20, 2017 at 11:56:02AM +0000, José Abílio Matos wrote:
> On Monday, 20 March 2017 10.52.26 WET Enrico Forestieri wrote:
> > 
> > How do you know what is the initial starting file format?
> 
> I am glad you ask. :-) After my last commit:
> 
> document.initial_format

I think that info was already in document.start

-- 
Enrico

Reply via email to