|
.settings
|
e1f1adeef4
make libraries relative
|
6 years ago |
|
doc
|
26ac6ea5e3
actually make the checklist a checklist instead of using color-coding
|
6 years ago |
|
lib
|
a51f6b9ff8
klappt irgendwie noch nicht ganz
|
6 years ago |
|
material
|
f196c73ea4
move material folder
|
6 years ago |
|
src
|
ad8bb7e3af
merge
|
6 years ago |
|
.classpath
|
e1f1adeef4
make libraries relative
|
6 years ago |
|
.gitignore
|
eafbaf1e19
ignore weird synctex files
|
6 years ago |
|
.project
|
267cc297fe
initial commit
|
6 years ago |
|
big.graph
|
a9edbc568d
Rangom Graph Generator und Graph Writer hinzugefügt
|
6 years ago |
|
save.graph
|
e462aef315
fehler in skallierung behoben
|
6 years ago |
|
test.graph
|
ca231c40b8
initialisierung der knotenpositionen hinzugefügt
|
6 years ago |
|
test2.graph
|
ca231c40b8
initialisierung der knotenpositionen hinzugefügt
|
6 years ago |
|
test3.graph
|
ca231c40b8
initialisierung der knotenpositionen hinzugefügt
|
6 years ago |
Eren Yilmaz
f4d7cf617c
Merge remote-tracking branch 'origin/master'