On Wed, Nov 5, 2014 at 11:12 PM, Anton Lundin <[email protected]> wrote:
> I just sent a patch to remove that <space> but i thought it looked > better with a space there, so maybe we should update the buddy-filter > code to .trim() the strings instead of taking that patch... > > I agree: trim() is better -- Davide https://vimeo.com/bocio/videos
_______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
