- Sep 05, 2023
-
-
Reiner Jung authored
Reiner See merge request !89
-
Reiner Jung authored
-
- Aug 28, 2023
-
-
Reiner Jung authored
-
Reiner Jung authored
-
Reiner Jung authored
-
- Aug 25, 2023
-
-
Reiner Jung authored
-
Reiner Jung authored
-
Reiner Jung authored
-
Reiner Jung authored
-
- Aug 22, 2023
-
-
Reiner Jung authored
Documentation updated See merge request !88
-
Reiner Jung authored
-
Reiner Jung authored
-
Reiner Jung authored
Fixed nearest merge feature See merge request !87
-
- Aug 18, 2023
-
-
Reiner Jung authored
-
- Aug 16, 2023
-
-
Reiner Jung authored
-
- Aug 11, 2023
-
-
Reiner Jung authored
-
- Aug 01, 2023
-
-
Reiner Jung authored
Minor fixes. See merge request !86
-
Reiner Jung authored
-
Reiner Jung authored
Updated used documentation. Fixed some typos. See merge request !85
-
Reiner Jung authored
-
Reiner Jung authored
Added new new selector with different color selection scheme. See merge request !84
-
Reiner Jung authored
-
- Jul 28, 2023
-
-
Reiner Jung authored
-
Reiner Jung authored
-
Reiner Jung authored
-
Reiner Jung authored
-
- Jul 27, 2023
-
-
Reiner Jung authored
-
- Jul 26, 2023
-
-
Reiner Jung authored
-
- Jul 25, 2023
-
-
Reiner Jung authored
-
Reiner Jung authored
Also imporve coloring of graphs.
-
- Jul 21, 2023
-
-
Reiner Jung authored
-
- Jul 17, 2023
-
-
Reiner Jung authored
-
- Jul 13, 2023
-
-
Reiner Jung authored
-
- Jul 07, 2023
-
-
Reiner Jung authored
Reiner See merge request !82
-
Reiner Jung authored
-
Reiner Jung authored
-
Reiner Jung authored
-
Reiner Jung authored
-
- Jul 06, 2023
-
-
Reiner Jung authored
-
Reiner Jung authored
-
