Remove an unused (and commented) macro.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 2 Nov 2009 11:16:06 +0000 (12:16 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 2 Nov 2009 11:26:21 +0000 (12:26 +0100)
commit25d228c0ea102570073ccf5dd642615cc2ebe7a1
tree7a7b68cd11394545fede291f650f4544d8c07207
parentf3a705e9d90ff0e54ef6bfec8db58947d7587704
Remove an unused (and commented) macro.
Chapters/Normalization.tex