Sebastian Schmidt 9283d5412f Rename Context to ContextMut and Configuration to Context ... Get rid of two different words for the same concept. Relates to #22		2019-03-27 18:09:33 +01:00
..
integration.rs	Rename Context to ContextMut and Configuration to Context	2019-03-27 18:09:33 +01:00