Age | Commit message (Expand) | Author |
---|---|---|
2022-09-26 | -changelog housekeeping; various build cleanupsv0.17.6 | Martin Schanzenbach |
2022-06-29 | - added files to .gitignore | Tristan Schwieren |
2019-12-25 | ign | Christian Grothoff |
2019-06-05 | disting | Christian Grothoff |
2019-01-30 | update .gitignore | Christian Grothoff |
2019-01-28 | first iteraton of TCP communicator done | Christian Grothoff |
2018-12-06 | next steps on ats-new service: plugin loading, solution passing | Christian Grothoff |
2018-11-10 | ignore new binary | Christian Grothoff |
2017-01-08 | exclude more tests | Christian Grothoff |
2016-11-09 | - add subdirectory gitignore files | Bart Polot |