Tags

Tags give the ability to mark specific points in history as being important

1.5.0

842c113d · Merge pull request #18 from tum-pbs/develop · Aug 12, 2020
1.4.1

f3090a69 · Merge pull request #11 from tum-pbs/develop · Apr 24, 2020
1.0.3

36f8020d · Merge pull request #10 from tum-pbs/develop · Feb 18, 2020
1.3.0

36f8020d · Merge pull request #10 from tum-pbs/develop · Feb 18, 2020
1.0.2

6d025656 · Merge pull request #5 from tum-pbs/develop · Jan 27, 2020
1.0.1

94c7f396 · Merge pull request #2 from tum-pbs/develop · Dec 17, 2019
1.0.0

08feee88 · Fix filename in test · Dec 04, 2019