- 04 Apr, 2022 2 commits
-
-
Kris Vanneste authored
Removed dots from date for dev string in get_git_info function. Prefix dev string with dash instead of dot.
-
Kris Vanneste authored
-
- 25 Mar, 2022 1 commit
-
-
Kris Vanneste authored
-
- 10 Jan, 2022 1 commit
-
-
Kris Vanneste authored
-