James E. Blair ea35fd5152 Add provider/pool priority support ... This lets users configure providers which should fulfill requests before other providers. This facilitates using a less expensive cloud before using a more expensive one. The default priority is 100, to facilitate either raising above or lowering below the default (while using only positive integers in order to avoid confusion). Change-Id: I969ea821e10a7773a0a8d135a4f13407319362ee		2022-05-23 13:28:21 -07:00
..
source	Add provider/pool priority support	2022-05-23 13:28:21 -07:00
Makefile	Add docs	2014-01-14 01:00:43 +08:00
requirements.txt	Switch docs theme to versioned RTD	2021-12-16 11:23:30 -08:00