Resolve "Definition: time" (!19) · Merge requests · Tobias Koch / Veronique · GitLab

This is an archived project. Repository and other project resources are read-only.

Tobias Koch requested to merge 19-definition-time into master Jan 13, 2018

Closes #19 (closed)