Subject: Re: [hwloc-devel] sometimes unused params From: Samuel Thibault (samuel.thibault_at_[hidden]) Date: 2010-01-08 12:22:03
Jeff Squyres, le Fri 08 Jan 2010 12:11:29 -0500, a écrit : > How do you guys want to handle params that are *sometimes* unused?
I'd just mark them unused.
Samuel
![[Flag]](../../../../../community/mirrors/flag-us.gif){kind=small}