projects / gigi.git / history
| 2020-03-19 | Marcus Mängel | Merge changes If5eed01f,I88c94e39,If36f5b0a | blob | commitdiff | raw |
| 2019-09-22 | INOPIAE | upd: introduce constant for waiting time for jobs | blob | commitdiff | raw |
| 2018-01-17 | Benny Baumann | Merge "fix: spelling" | blob | commitdiff | raw | diff to current |
| 2018-01-15 | Felix Dörre | chg: enhance type safety of serials | blob | commitdiff | raw | diff to current |
| 2017-09-26 | Felix Dörre | upd: store different types of revocation | blob | commitdiff | raw | diff to current |
| 2017-02-16 | Felix Dörre | upd: rename package name and all references to it | blob | commitdiff | raw | diff to current |