Flavio Percoco 15d55e7601 Rename shards to pool ... Shard turned out to be a quite overloaded/confusing term to use here, although correct. We decided to rename our shard feature to pool. P.S: I swear I didn't use sed O.O Change-Id: Ic54f29a4da7d7690c9c9210b74876b96f0ae0eac		2014-06-18 10:57:11 +02:00
..
__init__.py	feat: integrate shard storage with transport	2013-10-31 09:12:54 -04:00
pools.py	Rename shards to pool	2014-06-18 10:57:11 +02:00