]> git.rustad.me Git - master/commit
Fixes
authorBjørn Rustad <bjorn@rustad.me>
Fri, 21 Nov 2014 17:23:04 +0000 (18:23 +0100)
committerBjørn Rustad <bjorn@rustad.me>
Fri, 21 Nov 2014 17:23:04 +0000 (18:23 +0100)
commit04cf40fb30c9d3d749cb93ad134780fd2438073a
tree692ced1b4b8ffbabbd3f0951e98b51094bcfc0a9
parente1bad097be205ac3b0eec3fae517300cb297613e
Fixes
commands.tex
theory.tex