author | Tomas Musil <tomik.musil@gmail.com> | |
Wed, 12 Sep 2012 19:32:37 +0000 (21:32 +0200) | ||
committer | Tomas Musil <tomik.musil@gmail.com> | |
Wed, 12 Sep 2012 19:32:37 +0000 (21:32 +0200) | ||
commit | 97440043d1e48dfa0b1b197706866f5975cdb701 | |
tree | ea7294ecdcf51f2037a75f8ece2fc9ab64b44205 | tree | snapshot (zip tar.gz) |
parent | 231be08364e242ff69f1db90227da34164fe8194 | commit | diff |
.gitignore | diff | blob | history | |
doc/spec.tex | diff | blob | history |