Age | Commit message (Expand) | Author |
---|---|---|
2020-02-17 | move unmaintained files to historic/ | Christian Grothoff |
2016-11-13 | reverting split | Marcello Stanisci |
2016-11-13 | splitting base container | Marcello Stanisci |
2016-11-13 | (initial) base for docker deployment | Marcello Stanisci |