minus space
authorberq <berq@users.noreply.github.com>
Mon, 9 Dec 2013 20:21:41 +0000 (21:21 +0100)
committerberq <berq@users.noreply.github.com>
Mon, 9 Dec 2013 20:21:41 +0000 (21:21 +0100)
commitc141b17f12753980b7e9dac0ab6e0a6dbc3271b1
tree52a93aee4ff1dd5f3e3f57de4fa7fd590477dd26
parent8e8e6df97b7c844d7b4c34da23afb9b3a580b87e
minus space
src/practical_settings.tex