Age | Commit message (Expand) | Author |
---|---|---|
2018-10-25 | doc/documentation split into doc/tutorial and doc/handbook for clarity and to... | Christian Grothoff |
2018-07-01 | more timeout code moving | Christian Grothoff |
2017-03-16 | update .gitignore files | Christian Grothoff |
2017-02-22 | ignore generated temp files that are frequently generated | Christian Grothoff |
2017-01-08 | even more .gitignore updates | Christian Grothoff |
2017-01-08 | even more .gitignore updates | Christian Grothoff |
2016-11-09 | - add subdirectory gitignore files | Bart Polot |