On Sat, Oct 28, 2017 at 5:42 AM, Christoph M. Becker
wrote:
> On 28.10.2017 at 13:59, Nikita Popov wrote:
>
> > Right now we do not have a consistent standard for the indentation of
> PHPT
> > files. Some people create space-indented files, others create
> tab-indented
> > files. Over time, inden
On 28.10.2017 at 13:59, Nikita Popov wrote:
> Right now we do not have a consistent standard for the indentation of PHPT
> files. Some people create space-indented files, others create tab-indented
> files. Over time, indentation invariably starts to mix, because developers
> with different indent
