Re: [Xtla-el-dev] Tabs in source files

[Masatake YAMATO]

> > Now, my local copy is broken about indentation after star-merging Stefan's
> > tree.
> > Is there way to revert my local copy in xtla?
> 
> 1) implement a wrapper around "tla undo" in xtla
> 2) use it

Thank you. I'll inspect it.