remove todo
authorMart Lubbers <mart@martlubbers.net>
Fri, 26 May 2017 18:44:57 +0000 (20:44 +0200)
committerMart Lubbers <mart@martlubbers.net>
Fri, 26 May 2017 18:44:57 +0000 (20:44 +0200)
commit34e7989446cc4de1db77a3fd22dd17fb27cf3091
tree5c48b99b6e69a442a15b66fb2a1145bbc6f28b44
parentca9869787f9369515d8ab7dc7a04f56cc7ef02a0
remove todo
introduction.tex