 Denis Waßmann
|
51d40e2988
Revert "pasted other groups files into ours"
|
6 years ago |
 Christof Jugel
|
e4df2813a0
pasted other groups files into ours
|
6 years ago |
|
dustin.born
|
db8bd35f69
Temporarily fix a Label instantiation error
|
6 years ago |
|
christof
|
332b7a939a
Commit the changes on the LabelManager.py, read previous commit.
|
6 years ago |
|
Denis Waßmann
|
dcc9a35c92
Fixed seed- and label-bug
|
7 years ago |
|
aidmar.wainakh
|
29683b4714
delete captures and fix exceptions in building
|
7 years ago |
 Patrick Jattke
|
9e9fe28404
- Improves the human-readable output in the label file
|
8 years ago |
|
Patrick Jattke
|
5f4ad34c2b
- Fixes issue #16: After loading a label's file, the application crashes
|
8 years ago |
|
Patrick Jattke
|
5043fd37a3
- Code documentation improvements
|
8 years ago |
|
Patrick Jattke
|
51a5414390
- First public release
|
8 years ago |
