Christian Grothoff
|
8f4d186f46
improved script
|
13 years ago |
Christian Grothoff
|
cddbdf5b92
run indent twice, it alternates between two 'canonical' forms, also run whitespace remover
|
13 years ago |
Christian Grothoff
|
16a6919a9f
even nicer indentation, thanks to LRN's indent patch
|
13 years ago |
Christian Grothoff
|
8567ee21f1
prec
|
13 years ago |
Christian Grothoff
|
0a217a8df1
ng
|
15 years ago |