7b8fc307dc
- NullDevice is now called None - Automatic choice of best available device. - Minor formatting, documentation and cmake fixes.