4 Commits (fcf7085d2217636bff5b8567f3dc27230b48ac46)

Author SHA1 Message Date
terminalforlife ade78aaafb Mass-replace tabs with 4-width spacing
This seems to be the predominant choice, and matches the last commit I
just made, so I went ahead and converted them all, and changed any, -
for example, 2-space indents.

Let me know if this is undesired.

To understand why I chose to do this, please refer to the previous
commit's message.
5 years ago
Salvador Ribolzi b1f4b6b7e7
Typos. 6 years ago
Igor Chubin c27065011f joined related parts with # 7 years ago
lepatrick714 b44697ec5c Added python lambda 7 years ago