Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fix #5488 | Christian Grothoff | 2018-12-02 |
* | ignore build-aux | Christian Grothoff | 2018-10-18 |
* | update gitignore | Christian Grothoff | 2017-10-15 |
* | modify gitignore | Christian Grothoff | 2017-10-13 |
* | add more generated files to be ignored by Git | Christian Grothoff | 2016-10-12 |