+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
+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