Revert "old explorer: native decorations"
authorRejean Loyer <rejean.loyer@gmail.com>
Wed, 14 Sep 2011 22:53:26 +0000 (18:53 -0400)
committerRejean Loyer <rejean.loyer@gmail.com>
Wed, 14 Sep 2011 22:53:26 +0000 (18:53 -0400)
commit57204406cb949061c84bdd42edd0434d7a32a5fe
treed64fc792025383098c7cd7aa272adf8488c03da4
parent3d5227c80b7b943f99498f607b69aeb585b19183
Revert "old explorer: native decorations"

This reverts commit d4e1cd6575c22f956080d028dab62c88c86c5b71.
explorer/src/Explorer.ec