Merge pull request #17 from fingolfin/tweaks
Various minor improvements and cleanups
No related branches found
No related tags found
This diff is collapsed.
Please register or sign in to comment
Various minor improvements and cleanups