Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-08-29 | improved script | Christian Grothoff | |
2011-08-29 | run indent twice, it alternates between two 'canonical' forms, also run ↵ | Christian Grothoff | |
whitespace remover | |||
2011-08-16 | even nicer indentation, thanks to LRN's indent patch | Christian Grothoff | |
2011-08-15 | prec | Christian Grothoff | |
2009-05-29 | ng | Christian Grothoff | |