Ian Wienand 9eb71a1fe0 Switch debian to deb.debian.org ... Per [1] this is the "official" CDN mirror, which I think is the most appropriate for the default. I think this addresses the concerns httpredir service, which I don't think ever quite got out of beta. [1] https://wiki.debian.org/DebianGeoMirror Change-Id: I55f2a00b8bbb0f0a20d3be229e4c2c32a7b69057		2017-05-19 20:10:40 +00:00
..
block_device	Merge "Remove _config_error thrower"	2017-05-18 02:37:53 +00:00
elements	Switch debian to deb.debian.org	2017-05-19 20:10:40 +00:00
graph	Refactor: block-device handling (partitioning)	2017-01-24 19:59:10 +00:00
lib	Only unmount directories that are mounted	2017-05-17 08:37:25 +02:00
tests	Use fakelogger in test_blockdevice_mbr	2017-05-17 18:49:12 +10:00
__init__.py	Bump hacking to 0.9.x series	2014-07-21 10:15:41 +02:00
disk_image_create.py	squash-package-install to use the correct python	2017-03-13 20:24:39 +11:00
element_dependencies.py	Semi-automatic doc generation of element dependency	2017-02-09 09:50:30 +11:00
logging_config.py	Add python logger configuration	2016-06-16 13:54:50 +10:00
paths.py	Move diskimage-image-create to an entry point	2016-11-02 05:12:11 +00:00
version.py	Create docs site containing element READMEs	2015-02-10 11:45:35 -08:00