Cleaner implementation of Domain.__or__() (seems slower?)
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 14:30:10 +0000 (16:30 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 14:30:52 +0000 (16:30 +0200)

No differences found