<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Or perhaps one indention, and your editor/tool can set the number
of spaces you prefer?<br>
</p>
<br>
<div class="moz-cite-prefix">On 08/28/2016 02:27 PM, Max Lapshin
wrote:<br>
</div>
<blockquote
cite="mid:CAMxVRxA8Y1yojQjes4fAscQ-E-DT+neO0m=4buekJJ5c_mnyjA@mail.gmail.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<div dir="ltr">
<div class="gmail_extra">4 spaces or 2 spaces?</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
erlang-questions mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a>
</pre>
</blockquote>
<br>
</body>
</html>