minus space
authorberq <berq@users.noreply.github.com>
Mon, 9 Dec 2013 20:45:25 +0000 (21:45 +0100)
committerberq <berq@users.noreply.github.com>
Mon, 9 Dec 2013 20:45:25 +0000 (21:45 +0100)
commitceeacbec4ef011b54761609e31e77a1dc800dd0e
tree3bb86d3f5afa95eec264b83e9d442f5faad7ef56
parent8e8e6df97b7c844d7b4c34da23afb9b3a580b87e
minus space
src/scope.tex