Commit Graph

5 Commits (7c115199b5b0e6aa7d6eb38aef7cd43c381a1586)

Author SHA1 Message Date
Eli Barzilay 7c115199b5 Fix lots of indentation mistakes.
(Found by my ayatollah script...)

original commit: af6be85ff576e475753a46bd3f1690eb8bf88a28
11 years ago
Eli Barzilay 26f857f904 Lots of bad TAB eliminations.
I started from tabs that are not on the beginning of lines, and in
several places I did further cleanings.

If you're worried about knowing who wrote some code, for example, if you
get to this commit in "git blame", then note that you can use the "-w"
flag in many git commands to ignore whitespaces.  For example, to see
per-line authors, use "git blame -w <file>".  Another example: to see
the (*much* smaller) non-whitespace changes in this (or any other)
commit, use "git log -p -w -1 <sha1>".

original commit: 672910f27b856549ad08d38832b6714edf226c8e
12 years ago
Eli Barzilay 509800c0df ".ss" -> ".rkt" scan done.
original commit: 3157955d40f89d83fb3d5fa7a2f20639cda69579
13 years ago
Eli Barzilay d52b3aa1f1 More "~n" -> "\n" changes
original commit: 8e0f8dd39c3744472b450021f003f9cbe8cbcb62
14 years ago
Matthew Flatt b0a5e55273 rename all files .ss -> .rkt
original commit: 28b404307793f041bb3363135a2968e283855318
14 years ago