On Wednesday, 2 May 2012 at 11:48:32 UTC, David Nadlinger wrote: > (and apparently it ships with Ubuntu, at least: > https://launchpad.net/ubuntu/+source/libconfig) Oh well – I guess you know what I meant…