Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | satq does not interface with satd + fix regression bugs | Mattias Andrée | 2016-01-01 | 1 | -2/+2 |
* | typo | Mattias Andrée | 2016-01-01 | 1 | -1/+1 |
* | further improvement | Mattias Andrée | 2016-01-01 | 1 | -1/+2 |
* | finish satd-diminished, satd-timer to be written | Mattias Andrée | 2015-12-29 | 1 | -0/+2 |
* | m + receive messages | Mattias Andrée | 2015-12-28 | 1 | -1/+3 |
* | accept connections and for-exec to appropriate image | Mattias Andrée | 2015-12-28 | 1 | -1/+5 |
* | a file guide | Mattias Andrée | 2015-12-28 | 1 | -0/+19 |