Age | Commit message (Expand) | Author |
---|---|---|
2017-01-12 | fix git updating logic | Florian Dold |
2016-05-20 | Make build system robust against force pushes | Florian Dold |
2016-04-26 | fix old reference to base | Florian Dold |
2016-04-26 | go back to HOME based configs again | Florian Dold |
2016-04-26 | no restart | Florian Dold |
2016-04-24 | deployment base dir | Florian Dold |
2016-04-18 | adding all components to project-wise Makefile-based builder | Marcello Stanisci |