+1 for the former.

How about indenting with spaces+tabs vs indenting with spaces only? :)

Regards,
  Dmitry
_______________________________________________
notmuch mailing list
[email protected]
http://notmuchmail.org/mailman/listinfo/notmuch

Reply via email to