Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fix some mixed space+tab indentation | 2014-10-09 | |
| | | | | | | | | | This fixes all instances of " \t" in the code base. Most common case seems to be after a "where" line; probably vim copied the two space layout of that line. Done as a background task while listening to episode 2 of the Type Theory podcast. | ||
* | better git version checking | 2013-08-02 | |
| | |||
* | finished where indentation changes | 2012-12-13 | |
| | |||
* | Can now be built with older git versions (before 1.7.7); the resulting ↵ | 2011-12-22 | |
binary should only be used with old git. Remove git old version check from configure, and use the git version it was built against in the git check-attr code. |