Merge pull request #1 from schoeberl/master
commit5a3288d4950f2cf20a5bea62565487fcf8cea43a
authorTommy Thorn <tommy.thorn@gmail.com>
Fri, 30 Nov 2012 07:14:08 +0000 (29 23:14 -0800)
committerTommy Thorn <tommy.thorn@gmail.com>
Fri, 30 Nov 2012 07:14:08 +0000 (29 23:14 -0800)
treefac8e446cad81b65c7d21724944ae8b018717bf7
parent6842b9cde5a5ab4ed744f657973ac5cade325f98
parent29f67a50465cd721f95d71e5c0171235e6afce2c
Merge pull request #1 from schoeberl/master

Nor is not (a or b)