This repository has been archived on 2025-02-18. You can view files and clone it, but cannot push or open issues or pull requests.
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
..