Tags

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

R1-9-2

6e2c8386 · Merge branch 'devel' into 'master' · Nov 26, 2020
R1-9-1

97469050 · Merge branch 'devel' into 'master' · Oct 05, 2020
R1-9

7e3e7d43 · Merge branch 'parameter-handling' into 'master' · Mar 11, 2020
R1-3

8d29ca6e · increase precision · Sep 12, 2018
R1-1

a28d6fe1 · undo last commit · Jun 11, 2018
```
R1-1
```
R1-2

a28d6fe1 · undo last commit · Jun 11, 2018
R1-0

73d09442 · silence warning, comment out unused function · May 03, 2018
```
version R1-0
```