Merge with git+ssh://dirk2@repo.or.cz/srv/git/schiebespiel.git
tree78cf7dab3fef8396004af46289bebbd7a182924b
-rw-r--r-- 18011 COPYING
-rw-r--r-- 9959 Knoten.java
-rw-r--r-- 6 LICENSE
-rw-r--r-- 5455 MinSchritte.java
-rw-r--r-- 9045 Transitions.java
-rw-r--r-- 22236 schiebe.java
-rw-r--r-- 193 todo.txt