On Sun, Jul 15, 2012 at 03:09:12PM -0700, david at lang.hm wrote: > > 3. by simply combining miniconfig files, you can combine sets of > pre-defined options Wait, David, I'm lost. These miniconfigs should live somewhere on my home directory (if they are out of mainline tree)? Cyrill