From: Siraaj Khandkar Date: Sat, 5 Sep 2015 23:31:15 +0000 (-0700) Subject: Do not import unused PropEr bindings X-Git-Tag: 3.8.0~7 X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=fd66fd0c607571374fd2c4a5cd3131b042bded74;hp=fd66fd0c607571374fd2c4a5cd3131b042bded74;p=hope.git Do not import unused PropEr bindings ---