Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove autogenerated files from version control | Adam Chlipala | 2013-11-21 |
* | New release | Adam Chlipala | 2012-09-25 |
* | Grandfather into release: Use latest Debian testing autotools, etc. | Adam Chlipala | 2011-05-15 |
* | Another try to include more Autofiles in the distribution | Adam Chlipala | 2010-01-30 |