diff options
| author | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2018-03-12 07:33:59 +0100 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2018-08-14 19:15:20 +0200 |
| commit | 1ccc68defdb1f67f39dc836ee6659a89135c038c (patch) | |
| tree | 6307e254a427ac341d3859ecf98feccf8623e867 /.gitmodules | |
| parent | d8f5e2a7270a6aed04dac17048c6ef7229d3caab (diff) | |
feat: Add task metrics to DB schema
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions