]> git.somenet.org - pub/jan/adbs.git/commit
SomeNet / public repos / pub / jan / adbs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1445d0f) | patch
add queries and timings
authorDavid Kaufmann <astra@ionic.at>
Sun, 7 Apr 2019 20:42:02 +0000 (22:42 +0200)
committerDavid Kaufmann <astra@ionic.at>
Sun, 7 Apr 2019 20:42:02 +0000 (22:42 +0200)
commitba1d6ed9656b5c5b1191a205855eda77197e087a
tree5a0d9272d283900b9593bf01182f171628f455f7tree | snapshot
parent1445d0fc9be0cb3ff3547fb946c53072a28b6da2commit | diff
add queries and timings
ex1/main_5.tex diff | blob | history