Collin Anderson
|
261d4d8185
|
fix some python3 incompatibilities
|
2017-11-16 13:34:13 -05:00 |
Richo Healey
|
de3ea99ec5
|
Port indenter to python
|
2015-01-16 08:49:54 -08:00 |
Daniel Micay
|
86efd97a10
|
add gitattributes and fix whitespace issues
|
2013-05-03 20:01:42 -04:00 |
Michael Sullivan
|
23c73360ca
|
Fix the indenter script to know about the annoying ~ in the front of log strings.
|
2012-07-06 15:55:56 -07:00 |
Niko Matsakis
|
30d563839e
|
Various regions fixes.
|
2012-04-23 08:02:59 -07:00 |
Patrick Walton
|
f9eca218e1
|
etc: Modernize the indenter
|
2012-04-17 08:01:17 -07:00 |
|
Niko Matsakis
|
35a93e61d4
|
rewrite region resolution so it takes place in typeck
|
2012-04-16 19:48:00 -07:00 |
|
Niko Matsakis
|
f1afb0b3e2
|
utilities for indented logs
|
2012-04-05 21:16:28 -07:00 |